| 2009 |
|---|
| 60 | EE | Shaoying Liu,
Tetsuo Tamai,
Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance.
SAC 2009: 415-421 |
| 59 | EE | Hector Miguel Chavez,
Wuwei Shen,
Shaoying Liu:
An approach to detection of UML-based ownership violation.
SAC 2009: 541-542 |
| 2008 |
|---|
| 58 | | Shaoying Liu,
T. S. E. Maibaum,
Keijiro Araki:
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Springer 2008 |
| 57 | EE | Yuting Chen,
Shaoying Liu,
W. Eric Wong:
A Method Combining Review and Testing for Verifying Software Systems.
BMEI (2) 2008: 827-831 |
| 56 | EE | Shaoying Liu:
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications.
QSIC 2008: 105-113 |
| 55 | EE | Shaoying Liu:
Utilizing Formalization to Test Programs without Available Source Code (Short Paper).
QSIC 2008: 216-221 |
| 54 | EE | Yuting Chen,
Shaoying Liu,
W. Eric Wong:
A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.
International Journal of Software Engineering and Knowledge Engineering 18(8): 1013-1042 (2008) |
| 53 | EE | Shaoying Liu,
Yuting Chen:
A relation-based method combining functional and structural testing for test case generation.
Journal of Systems and Software 81(2): 234-248 (2008) |
| 2007 |
|---|
| 52 | EE | Jichuan Wang,
Shaoying Liu,
Yong Qi,
Di Hou:
Developing an Insulin Pump System Using the SOFL Method.
APSEC 2007: 334-341 |
| 51 | EE | Shaoying Liu:
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.
HASE 2007: 349-356 |
| 50 | EE | Shaoying Liu:
Integrating Specification-Based Review and Testing for Detecting Errors in Programs.
ICFEM 2007: 136-150 |
| 49 | | Shaoying Liu:
A Framework for Practical Specification-Based Testing.
SETP 2007: 176-189 |
| 48 | EE | Shaoying Liu,
Hao Wang:
An automated approach to specification animation for validation.
Journal of Systems and Software 80(8): 1271-1285 (2007) |
| 2006 |
|---|
| 47 | EE | Fumiko Nagoya,
Yuting Chen,
Shaoying Liu:
An Empirical Study on a Specification-Based Program Review Approach.
DepCoS-RELCOMEX 2006: 199-206 |
| 46 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
ICECCS 2006: 121-130 |
| 2005 |
|---|
| 45 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Review Approach to Detecting Structural Consistency Violations in Programs.
ACIS-ICIS 2005: 61-66 |
| 44 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
A Tool and Case Study for Specification-Based Program Review.
COMPSAC (1) 2005: 375-380 |
| 43 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
Design of a Tool for Specification-Based Program Review.
ICECCS 2005: 10-11 |
| 42 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Framework for SOFL-Based Program Review.
ICECCS 2005: 6-7 |
| 41 | EE | Shaoying Liu,
Fumiko Nagoya,
Yuting Chen,
Masashi Goya,
John A. McDermid:
An Automated Approach to Specification-Based Program Inspection.
ICFEM 2005: 421-434 |
| 2004 |
|---|
| 40 | EE | Yuting Chen,
Shaoying Liu:
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.
APSEC 2004: 276-283 |
| 39 | EE | Shaoying Liu:
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.
ATVA 2004: 15-19 |
| 38 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
An Investigation of the Approach to Specification-Based Program Review through Case Studies.
ICECCS 2004: 249-258 |
| 37 | EE | Shaoying Liu:
Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method.
ICFEM 2004: 7-8 |
| 36 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
An Approach to Integration Testing Based on Data Flow Specifications.
ICTAC 2004: 235-249 |
| 2003 |
|---|
| 35 | EE | Shaoying Liu:
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols.
AINA 2003: 289-292 |
| 34 | EE | Shaoying Liu:
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification.
APSEC 2003: 510-519 |
| 33 | EE | Xiaolei Gao,
Huaikou Miao,
Shaoying Liu,
Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram.
GCC (2) 2003: 970-977 |
| 32 | EE | Wuwei Shen,
Shaoying Liu:
Formalization, Testing and Execution of a Use Case Diagram.
ICFEM 2003: 68-85 |
| 31 | EE | Sirin Bekbay,
Shaoying Liu:
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL.
QSIC 2003: 100-107 |
| 30 | EE | A. Jefferson Offutt,
Shaoying Liu,
Aynur Abdurazik,
Paul Ammann:
Generating test data from state-based specifications.
Softw. Test., Verif. Reliab. 13(1): 25-53 (2003) |
| 2002 |
|---|
| 29 | EE | Jin Song Dong,
Shaoying Liu:
The Semantics of Extended SOFL.
COMPSAC 2002: 653-658 |
| 28 | EE | Shaoying Liu:
Capturing Complete and Accurate Requirements by Refinemen.
ICECCS 2002: 57-67 |
| 27 | EE | Shaoying Liu:
Developing Quality Software Systems Using the SOFL Formal Engineering Method.
ICFEM 2002: 3-19 |
| 2000 |
|---|
| 26 | EE | Shaoying Liu,
Tetsuo Fukuzaki,
Koji Miyamoto:
A GUI and testing tool for SOFL.
APSEC 2000: 421- |
| 25 | EE | Hassan Gomaa,
Shaoying Liu,
Michael E. Shin:
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.
ICECCS 2000: 61-71 |
| 1999 |
|---|
| 24 | EE | Shaoying Liu,
Masaomi Shibata,
Ryuichi Sato:
Applying SOFL to Develop a University Information System.
APSEC 1999: 404-411 |
| 23 | EE | A. Jefferson Offutt,
Yiwei Xiong,
Shaoying Liu:
Criteria for Generating Specification-Based Tests.
ICECCS 1999: 119- |
| 22 | | Jin Song Dong,
Shaoying Liu:
An Object Semantic Model of SOFL.
IFM 1999: 189-208 |
| 21 | EE | Shaoying Liu:
Verifying Consistency and Validity of Formal Specifications by Testing.
World Congress on Formal Methods 1999: 896-914 |
| 20 | EE | A. Jefferson Offutt,
Shaoying Liu:
Generating test data from SOFL specifications.
Journal of Systems and Software 49(1): 49-62 (1999) |
| 1998 |
|---|
| 19 | EE | Shaoying Liu,
Masashi Asuka,
Kiyotoshi Komaya,
Yasuaki Nakamura:
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.
ICECCS 1998: 100-114 |
| 18 | EE | Shaoying Liu,
Masashi Asuka,
Kiyotoshi Komaya,
Yasuaki Nakamura:
Applying SOFL to Specify A Railway Crossing Controller for Industry.
WIFT 1998: 16-27 |
| 17 | EE | Shaoying Liu,
A. Jefferson Offutt,
Chris Ho-Stuart,
Yong Sun,
Mitsuru Ohba:
SOFL: A Formal Engineering Methodology for Industrial Applications.
IEEE Trans. Software Eng. 24(1): 24-45 (1998) |
| 16 | EE | Shaoying Liu:
A Formal Definition of FRSM and Applications.
International Journal of Software Engineering and Knowledge Engineering 8(2): 253-281 (1998) |
| 1997 |
|---|
| 15 | EE | Chris Ho-Stuart,
Shaoying Liu:
A Formal Operational Semantics for SOFL.
APSEC 1997: 52-61 |
| 14 | | Yong Sun,
Shaoying Liu,
Mitsuru Ohba:
Self-independent Petri Nets for Distributed Systems.
FORTE 1997: 487-502 |
| 13 | EE | Shaoying Liu:
Evolution: A More Practical Approach than Refinement for Software Development.
ICECCS 1997: 142-151 |
| 12 | EE | Shaoying Liu:
SOFL: A Formal Engineering Methodology for Industrial Applications.
RE 1997: 41 |
| 1996 |
|---|
| 11 | EE | John A. McDermid,
Shaoying Liu:
A Case Study Using SAM - Safety Analysis of PES.
APSEC 1996: 217- |
| 10 | EE | Shaoying Liu,
Chris Ho-Stuart:
Semi-automatic Transformation from Formal Specifications to Programs.
ICECCS 1996: 506-513 |
| 9 | | Shaoying Liu,
John A. McDermid:
A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System.
Journal of Systems and Software 35(2): 151-164 (1996) |
| 1995 |
|---|
| 8 | EE | Shaoying Liu,
Rolf Adams:
Limitations of Formal Methods and an Approach to Improvement.
APSEC 1995: 498- |
| 7 | EE | Shaoying Liu,
Yong Sun:
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.
ICECCS 1995: 137-144 |
| 6 | EE | Shaoying Liu,
Victoria Stavridou,
Bruno Dutertre:
The practice of formal methods in safety-critical systems.
Journal of Systems and Software 28(1): 77-87 (1995) |
| 5 | EE | Shaoying Liu:
Internal consistency of FRSM specifications.
Journal of Systems and Software 29(2): 167-175 (1995) |
| 1993 |
|---|
| 4 | EE | Shaoying Liu,
John A. McDermid:
Dynamic Sets and Their Application in VDM.
SAC 1993: 187-192 |
| 3 | | Shaoying Liu:
An Abstract Programming Language and Correctness Proofs.
Comput. Lang. 18(4): 273-282 (1993) |
| 2 | EE | Shaoying Liu:
A formal requirements specification method based on data flow analysis.
Journal of Systems and Software 21(2): 141-149 (1993) |
| 1992 |
|---|
| 1 | EE | Shaoying Liu:
A user-friendly formal requirements specification method.
ACM Southeast Regional Conference 1992: 211-218 |
