Shaoying Liu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

60EEShaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421
59EEHector Miguel Chavez, Wuwei Shen, Shaoying Liu: An approach to detection of UML-based ownership violation. SAC 2009: 541-542
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
57EEYuting Chen, Shaoying Liu, W. Eric Wong: A Method Combining Review and Testing for Verifying Software Systems. BMEI (2) 2008: 827-831
56EEShaoying Liu: Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. QSIC 2008: 105-113
55EEShaoying Liu: Utilizing Formalization to Test Programs without Available Source Code (Short Paper). QSIC 2008: 216-221
54EEYuting 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)
53EEShaoying 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)
52EEJichuan Wang, Shaoying Liu, Yong Qi, Di Hou: Developing an Insulin Pump System Using the SOFL Method. APSEC 2007: 334-341
51EEShaoying Liu: Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. HASE 2007: 349-356
50EEShaoying 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
48EEShaoying Liu, Hao Wang: An automated approach to specification animation for validation. Journal of Systems and Software 80(8): 1271-1285 (2007)
47EEFumiko Nagoya, Yuting Chen, Shaoying Liu: An Empirical Study on a Specification-Based Program Review Approach. DepCoS-RELCOMEX 2006: 199-206
46EEYuting Chen, Shaoying Liu, Fumiko Nagoya: A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS 2006: 121-130
45EEYuting Chen, Shaoying Liu, Fumiko Nagoya: A Review Approach to Detecting Structural Consistency Violations in Programs. ACIS-ICIS 2005: 61-66
44EEFumiko Nagoya, Shaoying Liu, Yuting Chen: A Tool and Case Study for Specification-Based Program Review. COMPSAC (1) 2005: 375-380
43EEFumiko Nagoya, Shaoying Liu, Yuting Chen: Design of a Tool for Specification-Based Program Review. ICECCS 2005: 10-11
42EEYuting Chen, Shaoying Liu, Fumiko Nagoya: A Framework for SOFL-Based Program Review. ICECCS 2005: 6-7
41EEShaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434
40EEYuting Chen, Shaoying Liu: An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. APSEC 2004: 276-283
39EEShaoying Liu: An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. ATVA 2004: 15-19
38EEFumiko Nagoya, Shaoying Liu, Yuting Chen: An Investigation of the Approach to Specification-Based Program Review through Case Studies. ICECCS 2004: 249-258
37EEShaoying Liu: Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. ICFEM 2004: 7-8
36EEYuting Chen, Shaoying Liu, Fumiko Nagoya: An Approach to Integration Testing Based on Data Flow Specifications. ICTAC 2004: 235-249
35EEShaoying Liu: Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. AINA 2003: 289-292
34EEShaoying Liu: Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. APSEC 2003: 510-519
33EEXiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu: The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977
32EEWuwei Shen, Shaoying Liu: Formalization, Testing and Execution of a Use Case Diagram. ICFEM 2003: 68-85
31EESirin Bekbay, Shaoying Liu: A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. QSIC 2003: 100-107
30EEA. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann: Generating test data from state-based specifications. Softw. Test., Verif. Reliab. 13(1): 25-53 (2003)
29EEJin Song Dong, Shaoying Liu: The Semantics of Extended SOFL. COMPSAC 2002: 653-658
28EEShaoying Liu: Capturing Complete and Accurate Requirements by Refinemen. ICECCS 2002: 57-67
27EEShaoying Liu: Developing Quality Software Systems Using the SOFL Formal Engineering Method. ICFEM 2002: 3-19
26EEShaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto: A GUI and testing tool for SOFL. APSEC 2000: 421-
25EEHassan 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
24EEShaoying Liu, Masaomi Shibata, Ryuichi Sato: Applying SOFL to Develop a University Information System. APSEC 1999: 404-411
23EEA. 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
21EEShaoying Liu: Verifying Consistency and Validity of Formal Specifications by Testing. World Congress on Formal Methods 1999: 896-914
20EEA. Jefferson Offutt, Shaoying Liu: Generating test data from SOFL specifications. Journal of Systems and Software 49(1): 49-62 (1999)
19EEShaoying 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
18EEShaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27
17EEShaoying 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)
16EEShaoying Liu: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering 8(2): 253-281 (1998)
15EEChris 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
13EEShaoying Liu: Evolution: A More Practical Approach than Refinement for Software Development. ICECCS 1997: 142-151
12EEShaoying Liu: SOFL: A Formal Engineering Methodology for Industrial Applications. RE 1997: 41
11EEJohn A. McDermid, Shaoying Liu: A Case Study Using SAM - Safety Analysis of PES. APSEC 1996: 217-
10EEShaoying 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)
8EEShaoying Liu, Rolf Adams: Limitations of Formal Methods and an Approach to Improvement. APSEC 1995: 498-
7EEShaoying Liu, Yong Sun: Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. ICECCS 1995: 137-144
6EEShaoying Liu, Victoria Stavridou, Bruno Dutertre: The practice of formal methods in safety-critical systems. Journal of Systems and Software 28(1): 77-87 (1995)
5EEShaoying Liu: Internal consistency of FRSM specifications. Journal of Systems and Software 29(2): 167-175 (1995)
4EEShaoying 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)
2EEShaoying Liu: A formal requirements specification method based on data flow analysis. Journal of Systems and Software 21(2): 141-149 (1993)
1EEShaoying Liu: A user-friendly formal requirements specification method. ACM Southeast Regional Conference 1992: 211-218

Coauthor Index

1Aynur Abdurazik [30]
2Rolf Adams [8]
3Paul Ammann [30]
4Keijiro Araki [58]
5Masashi Asuka [18] [19]
6Sirin Bekbay [31]
7Hector Miguel Chavez [59]
8Yuting Chen [36] [38] [40] [41] [42] [43] [44] [45] [46] [47] [53] [54] [57]
9Jin Song Dong [22] [29]
10Bruno Dutertre [6]
11Tetsuo Fukuzaki [26]
12Xiaolei Gao [33]
13Hassan Gomaa [25]
14Masashi Goya [41]
15Chris Ho-Stuart [10] [15] [17]
16Di Hou [52]
17Kiyotoshi Komaya [18] [19]
18Ling Liu [33]
19T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [58]
20John A. McDermid [4] [9] [11] [41]
21Huaikou Miao [33]
22Koji Miyamoto [26]
23Fumiko Nagoya [36] [38] [41] [42] [43] [44] [45] [46] [47]
24Shin Nakajima [60]
25Yasuaki Nakamura [18] [19]
26A. Jefferson Offutt (Jeff Offutt) [17] [20] [23] [30]
27Mitsuru Ohba [14] [17]
28Yong Qi [52]
29Ryuichi Sato [24]
30Wuwei Shen [32] [59]
31Masaomi Shibata [24]
32Michael Eonsuk Shin (Michael E. Shin) [25]
33Victoria Stavridou [6]
34Yong Sun [7] [14] [17]
35Tetsuo Tamai [60]
36Hao Wang [48]
37Jichuan Wang [52]
38W. Eric Wong [54] [57]
39Yiwei Xiong [23]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)