Shaoying Liu

Shaoying Liu, Wuwei Shen, Shin Nakajima: A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9(4): 1469-1491 (2012)

Shaoying Liu: Formal engineering methods for software quality assurance. Frontiers of Computer Science in China 6(1): 1-2 (2012)

Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid: Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38(5): 1100-1122 (2012)

Mo Li, Shaoying Liu: Automated Functional Scenarios-Based Formal Specification Animation. APSEC 2012: 107-115

Fauziah binti Zainuddin, Shaoying Liu: An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. APSEC 2012: 654-663

Shaoying Liu: Pre-post notation is questionable in effectively specifying operations of object-oriented systems. Frontiers of Computer Science in China 5(3): 341-352 (2011)

Shaoying Liu, Tetsuo Tamai, Shin Nakajima: A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. International Journal of Software Engineering and Knowledge Engineering 21(2): 259-288 (2011)

Richard Lai, Mohit Garg, Parmod Kumar Kapur, Shaoying Liu: A Study of When to Release a Software Product from the Perspective of Software Reliability Models. JSW 6(4): 651-661 (2011)

Richard Lai, Sajjad Mahmood, Shaoying Liu: RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). JSW 6(6): 1050-1066 (2011)

Weikai Miao, Shaoying Liu: A Formal Specification-Based Testing Approach to Accurate Web Service Selection. APSCC 2011: 259-266

Shaoying Liu, Shin Nakajima: A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC 2011: 73-80

Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168

Fauziah binti Zainuddin, Shaoying Liu: Integrating Prototyping into the SOFL Three-Step Modeling Approach. ICFEM 2011: 163-178

Cong Tian, Shaoying Liu, Shin Nakajima: Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops 2011: 304-309

Shaoying Liu: Automatic Specification-Based Testing: Challenges and Possibilities. TASE 2011: 5-8

Shaoying Liu: An approach to applying SOFL for agile process and its application in developing a test support tool. ISSE 6(1-2): 137-143 (2010)

Shaoying Liu, John A. McDermid, Yuting Chen: A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Transactions on Reliability 59(4): 667-684 (2010)

Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677

Yuting Chen, Shaoying Liu, Linzhang Wang: An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. QSIC 2010: 214-219

Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima: Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. SoMeT 2010: 383-397

Shaoying Liu, Shin Nakajima: A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI 2010: 147-155

Yongzhen Pei, Shaoying Liu, Shujing Gao, Shuping Li, Changguo Li: A delayed SEIQR epidemic model with pulse vaccination and the quarantine measure. Computers & Mathematics with Applications 58(1): 135-145 (2009)

Shaoying Liu: Integrating top-down and scenario-based methods for constructing software specifications. Information & Software Technology 51(11): 1565-1572 (2009)

Yongzhen Pei, Shaoying Liu, Changguo Li: Complex Dynamics of an Impulsive Control System in which Predator Species Share a Common Prey. J. Nonlinear Science 19(3): 249-266 (2009)

Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama: Teaching formal methods in the context of software engineering. SIGCSE Bulletin 41(2): 17-23 (2009)

Weikai Miao, Shaoying Liu: Service-oriented modeling using the SOFL formal engineering method. APSCC 2009: 187-192

Shaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421

Hector Miguel Chavez, Wuwei Shen, Shaoying Liu: An approach to detection of UML-based ownership violation. SAC 2009: 541-542

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)

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)

Yuting Chen, Shaoying Liu, W. Eric Wong: A Method Combining Review and Testing for Verifying Software Systems. BMEI (2) 2008: 827-831

Shaoying Liu: Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. QSIC 2008: 105-113

Shaoying Liu: Utilizing Formalization to Test Programs without Available Source Code (Short Paper). QSIC 2008: 216-221

Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (Eds.): Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, isbn 978-3-540-88193-3

Shaoying Liu, Hao Wang: An automated approach to specification animation for validation. Journal of Systems and Software 80(8): 1271-1285 (2007)

Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou: Developing an Insulin Pump System Using the SOFL Method. APSEC 2007: 334-341

Shaoying Liu: Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. HASE 2007: 349-356

Shaoying Liu: Integrating Specification-Based Review and Testing for Detecting Errors in Programs. ICFEM 2007: 136-150

Shaoying Liu: A Framework for Practical Specification-Based Testing. SETP 2007: 176-189

Fumiko Nagoya, Yuting Chen, Shaoying Liu: An Empirical Study on a Specification-Based Program Review Approach. DepCoS-RELCOMEX 2006: 199-206

Yuting Chen, Shaoying Liu, Fumiko Nagoya: A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS 2006: 121-130

Yuting Chen, Shaoying Liu, Fumiko Nagoya: A Review Approach to Detecting Structural Consistency Violations in Programs. ACIS-ICIS 2005: 61-66

Fumiko Nagoya, Shaoying Liu, Yuting Chen: A Tool and Case Study for Specification-Based Program Review. COMPSAC (1) 2005: 375-380

Yuting Chen, Shaoying Liu, Fumiko Nagoya: A Framework for SOFL-Based Program Review. ICECCS 2005: 6-7

Fumiko Nagoya, Shaoying Liu, Yuting Chen: Design of a Tool for Specification-Based Program Review. ICECCS 2005: 10-11

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434

Yuting Chen, Shaoying Liu: An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. APSEC 2004: 276-283

Shaoying Liu: An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. ATVA 2004: 15-19

Fumiko Nagoya, Shaoying Liu, Yuting Chen: An Investigation of the Approach to Specification-Based Program Review through Case Studies. ICECCS 2004: 249-258

Shaoying Liu: Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. ICFEM 2004: 7-8

Yuting Chen, Shaoying Liu, Fumiko Nagoya: An Approach to Integration Testing Based on Data Flow Specifications. ICTAC 2004: 235-249

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)

Shaoying Liu: Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. AINA 2003: 289-292

Shaoying Liu: Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. APSEC 2003: 510-519

Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu: The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977

Wuwei Shen, Shaoying Liu: Formalization, Testing and Execution of a Use Case Diagram. ICFEM 2003: 68-85

Sirin Bekbay, Shaoying Liu: A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. QSIC 2003: 100-107

Jin Song Dong, Shaoying Liu: The Semantics of Extended SOFL. COMPSAC 2002: 653-658

Shaoying Liu: Capturing Complete and Accurate Requirements by Refinemen. ICECCS 2002: 57-67

Shaoying Liu: Developing Quality Software Systems Using the SOFL Formal Engineering Method. ICFEM 2002: 3-19

Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto: A GUI and testing tool for SOFL. APSEC 2000: 421-

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

A. Jefferson Offutt, Shaoying Liu: Generating test data from SOFL specifications. Journal of Systems and Software 49(1): 49-62 (1999)

Shaoying Liu, Masaomi Shibata, Ryuichi Sato: Applying SOFL to Develop a University Information System. APSEC 1999: 404-411

Shaoying Liu: Verifying Consistency and Validity of Formal Specifications by Testing. World Congress on Formal Methods 1999: 896-914

A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu: Criteria for Generating Specification-Based Tests. ICECCS 1999: 119-

Jin Song Dong, Shaoying Liu: An Object Semantic Model of SOFL. IFM 1999: 189-208

Shaoying Liu: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering 8(2): 253-281 (1998)

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)

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

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27

Chris Ho-Stuart, Shaoying Liu: A Formal Operational Semantics for SOFL. APSEC 1997: 52-61

Yong Sun, Shaoying Liu, Mitsuru Ohba: Self-independent Petri Nets for Distributed Systems. FORTE 1997: 487-502

Shaoying Liu: Evolution: A More Practical Approach than Refinement for Software Development. ICECCS 1997: 142-151

Shaoying Liu: SOFL: A Formal Engineering Methodology for Industrial Applications. RE 1997: 41

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)

John A. McDermid, Shaoying Liu: A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217-

Shaoying Liu, Chris Ho-Stuart: Semi-automatic Transformation from Formal Specifications to Programs. ICECCS 1996: 506-513

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)

Shaoying Liu: Internal consistency of FRSM specifications. Journal of Systems and Software 29(2): 167-175 (1995)

Shaoying Liu, Rolf Adams: Limitations of Formal Methods and an Approach to Improvement. APSEC 1995: 498-

Shaoying Liu, Yong Sun: Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. ICECCS 1995: 137-144

Shaoying Liu: An Abstract Programming Language and Correctness Proofs. Comput. Lang. 18(4): 273-282 (1993)

Shaoying Liu: A formal requirements specification method based on data flow analysis. Journal of Systems and Software 21(2): 141-149 (1993)

Shaoying Liu, John A. McDermid: Dynamic Sets and Their Application in VDM. SAC 1993: 187-192

Shaoying Liu: A user-friendly formal requirements specification method. ACM Southeast Regional Conference 1992: 211-218