Selected Publications:

1.      Books:

1.1 Authored Books:

(1) Shaoying Liu, "Formal Engineering for Industrial Software Development using the SOFL Method", Springer-Verlag, March 2004, 428 pages, ISBN 3-540-20602-7.

1.2 Edited Books:

  1. Shaoying Liu and Zhenhua Duan, "Structured Object-Oriented Formal Language and Method", Proceedings of the Third International Workshop on SOFL+MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, 2014.
  2. Shaoying Liu, "Structured Object-Oriented Formal Language and Method", Proceedings of the Second International Workshop on SOFL (SOFL 2012), LNCS 7787,
    Springer, 2012.
  3. Shaoying Liu and Zhenhua Duan, "Structured Object-Oriented Formal Language and Method", Proceedings of the Third International Workshop on SOFL+MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, 2013.
  4. Shaoying Liu, "Structured Object-Oriented Formal Language and Method", Proceedings of the Second International Workshop on SOFL (SOFL 2012), LNCS 7787, Springer, 2012.
  5. Shaoying Liu, Tom Maibaum, and Keijiro Araki (Eds), ``Formal Methods and Software Engineering'', Proeedings of 10th International Conference onFormal Engineering Methods(ICFEM 2008), LNCS 5256, Springer-Verlag, KitakyushuInternational ConferenceCenter, Kitakyushu-City, Japan, 27-31 Oct. 2008.
  6. Shaoying Liu, John A. McDermid, Michael Hinchey (Eds), "Formal Engineering Methods", Proceedings of Third IEEE International Conference on Formal Engineering Methods (ICFEM 2000), IEEE Computer Society Press, York, UK, Sept. 4-6, 2000.
  7. John Staples, Michael Hinchey, Shaoying Liu (Eds), "Formal Engineering Methods", Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), IEEE Computer Society Press, Brisbane, December 9-11, 1998.
  8. Michael Hinchey and Shaoying Liu (Eds), "Formal Engineering Methods", Proceedings of First IEEE International Conference on Formal Engineering Methods (ICFEM'97), IEEE Computer Society Press, Hiroshima, 12-14 November 1997.


2.      Keynote Talks:

  1. Shaoying Liu, "Integrating Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance", The 2015 International Conference on Software Quality, Reliability and Security (QRS 2015), Vancouver, Canada, August 3-5, 2015.
  2. Shaoying Liu, "Testing-Based Formal Verification: A New and Pracitcal Approach for Software Quality Assurance", 19th International Confernece on Engineering of Complex Computer Systems (ICECCS 2014), Tianjin, China, August 4-7, 2014.
  3. Shaoying Liu, "Developing Quality Software Systems Using the SOFL Formal Engineering Method",
    Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM2002), LNCS Springer-Verlag, Shanghai, China, October 21-25, 2002. pp. 3-19
    .
  4. Shaoying Liu, Automatic Specification-Based Testing: Challenges and Possibilities, 5th Intl. Conf. on Theoretical Aspects of Software Engineering, IEEE CS Press, Xi’an, China, Aug. 29-31, 2011, pp. 5-8.

3.      Invited Papers:

  1.  Shaoying Liu, “An Automated Rigorous Review Method for Verifying and Validating Formal Specifications”, Second International Symposium on Automated Technology for Verification  and Analysis, LNCS 3299, Springer-Verlag, Taipei, Taiwan, Oct. 31- Nov. 3, 2004, pp. 15-19.
  2. Shaoying Liu, "Formal Engineering Methods for Information Systems Development", Proceedings of Second International Conference on INFORMATION (INFORMATION2002), Beijing, July 24-27, 2002, pp. 148-154.
  3. Shaoying Liu, ``A Framework for Practical Specification-Based Testing”,2007 International Conference on Software Engineering Theory and Practice, ISRST, Orlando, FL, USA, July 9-12, 2007, pp.176-189.

4. Refereed Journal Papers: 

  1. Mo Li and Shaoying Liu, "“Integrating Animation-Based Inspection into Formal Design Speci…cation Construction for Reliable Software Systems", ”IEEE Transactions on Reliability, 2015 (to appear).
  2. Xi Wang and Shaoying Liu, "Computer-aided Formalization of Requirements Based on Patterns", IEICE Transactions on Information and Systems, 2014, pp. 198-212.
  3. Weikai Miao and Shaoying Liu, "A Formal Engineering Framework for Service-based Software Modeling", IEEE Transactions on Services Computing, Vol. 6, No. 4, Oct.-Dec. 2013, pp. 536-550.
  4. Shaoying Liu, Yuting Chen, Fumiko Nagoya, and John McDermid, "Formal Specification-Based Inspection for Verification of Programs", IEEE Transactions on Software Engineering, 38(5), 2012, pp. 1100-1122..
  5. Shaoying Liu, John McDermid, Yuting Chen,A Rigorous Method for Inspection of Model-Based Formal Specifications”, IEEE Transactions on Reliability, Vol. 59, No. 4, December, 2010, pp. 667-684.
  6. Shaoying Liu, A Jeff. Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba, "SOFL: A Formal Engineering Methodology for Industrial Applications", IEEE Transactions on Software Engineering, Vol. 24, No. 1, January 1998, pp. 24-45.
  7. Shaoying Liu, Wuwei Shen, Shin Nakajima, A Formal Approach to Testing Programs in Practice”, Journal of Computer Science and Information Systems (ComSIS), Vol. 9, No. 4, Special Issue, Dec. 2012, pp. 1469-1491.
  8. 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), 2011, pp. 259-288.
  9. Shaoying Liu, Pre-Post Notation is Questionable in Effectively Specifying Operations of Object-Oriented Systems, Frontier of Computer Science in China, DOI 10.1007/s11704-011-0130-y, 2011, pp. 1-12.
  10. Richard Lai, Sajjad. Mahmood, Shaoying Liu, RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System”, Journal of Software, Academy, 6(6), 2011, pp. 1050-1066.
  11. Richard Lai, Mohit Garg, P.K. Kapur, Shaoying Liu, A Study of When to Release a Software Product”, Journal of Software, Academy, 6(4), 2011, pp. 651-661.
  12. Shaoying Liu, ``Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications'' (extended version), Journal of Information and Software Technology, Elsevier, Vol. 54, No. 11, Nov. 2009, pp. 1565-1572.
  13. Shaoying Liu, ``An Approach to Applying SOFL for Agile Process and Its Application in Developing a Test Support Tool'', Innovations in Systems and Software Engineering, Springer London, 11334_6(1), 22 December, DOI 10.1007/s11334-0114-3.
  14. Yuting Chen, Shaoying Liu, and Eric W. Wong. ``A Review Approach to Detecting Violations of Consistency between Specification and Program Structures". International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing Co. Pte. Ltd., 18(8), Dec, 2008, pp. 1013-1042.
  15. Shaoying Liu and Hao Wang ``An Automated Approach to Specification Animation for Validation", Journal of Systems and Software, Elsevier Science Inc., No. 80, 2007, pp. 1271-1285.
  16. Shaoying Liu and Yuting Chen, ``A Relation-Based Method Combining Functional and Structural Testing for Test Case Generation", Journal of Systems and Software, Elsevier Science Inc.,Vol. 81, No. 2, February 2008, pp. 234-248.
  17. Jeff Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann, "Generating Test Data from State-Based Specifications", Journal of Software Testing, Verification and Reliability, John Wiley & Sons, Ltd, No.13, 2003, pp. 25-53.
  18. Shaoying Liu, "An Approach to Transforming Visual Formal Specifications to Java Programs" (extended version), Journal of Three Dimensional Images, Vol. 17, No. 1, March 2003, pp. 121-128.
  19. A Jeff. Offutt and Shaoying Liu, "Generating Test Data from SOFL Specifications", Journal of Systems and Software, Elsevier Science Inc., Vol. 49, No. 1, December 1999, pp. 49-62.
  20. Shaoying Liu, A Jeff. Offutt, Mitsuru Ohba, Keijiro Araki, "The SOFL Approach: An Improved Principle for Requirements Analysis", Transactions of Information Processing Society of Japan, 1998, pp. 1973-1989.
  21. Shaoying Liu, "A Formal Definition of FRSM and Applications", International Journal of Software Engineering and Knowledge Engineering, Vol. 8, No. 3, September 1998, pp. 253-281.
  22.  Shaoying Liu, "Formal Methods and Intelligent Software Engineering Environments", Information - An International Journal, Vol. 1, No.1, 1998, pp. 83-102.
  23. Shaoying Liu and John A. McDermid, "A Formal Specification of Fault Trees for SAM", Transactions of Information Processing Society of Japan, Vol. 38, No. 10, October 1997, pp. 2014-2030.
  24. Shaoying Liu and John A. McDermid, "A Model-Oriented Approach to Safety Analysis Using Fault Trees and Its Support System", Journal of Systems and Software, Elsevier Science Inc., No. 2, November 1996, pp. 151-164.
  25.  Shaoying Liu, "Internal Consistency of FRSM Specifications", Journal of Systems and Software, Elsevier Science Inc., USA, No. 2, May 1995, pp. 167-176.
  26. Shaoying Liu, Victoria Stavridou, Bruno Dutertre, "The Practice of Formal Methods in Safety Critical Systems", Journal of Systems and Software, Elsevier Science Inc., USA, Vol. 28, No. 1, January 1995, pp. 77-87.
  27. Shaoying Liu, "A Formal Requirements Specification Method Based on Data Flow Analysis", Journal of Systems and Software, Elsevier Science Inc., USA, No. 21, February 1993, pp. 141-149.
  28. Shaoying Liu, "An Abstract Programming Language and Correctness Proofs", Computer Languages - An International Journal, Pergamon Press Ltd., U.S.A., Vol. 18, No. 4, October 1993, pp. 273-282.
  29.  Shaoying Liu and Youren Li, "Production Software Development Tool", Journal of Computer Research and Development, No.6, June 1990, pp. 1-9 (in Chinese).
  30. Shaoying Liu, "Formal Software Development Methods", Journal of Computer Science, No.6, June 1990, pp. 21-30 (in Chinese).
  31. Youren Li and Shaoying Liu, "Implementation of a COBOL Program Testing Environment", Journal of Xi'an Jiaotong University, Vol.23, No.1, February 1989, pp. 49-54 (in Chinese).
  32. Youren Li, Shaoying Liu, Minqiung Xu, "A Transformation Tool From Programs To Two Degree Logical Diagrams", Journal of Xi'an Jiaotong University, Vol. 22, Sup. No.2, November 1988, pp. 73-79 (in Chinese).
  33.  Shaoying Liu and Youren Li, "Production Software Development Documents", Journal of Computation Technique Information, No.5, June 1987, pp. 27-34 (in Chinese).
  34. Shaoying Liu and Youren Li, "An Automatic Test Data Generation Method", Journal of Computer Engineering, No.5, May 1987, pp. 24-30 (in Chinese).

5.     Refereed Conference Papers:

  1. Mo Li and Shaoying Liu, “Traceability-Based Formal Specification Inspection”, Proceedings of Eighth International Conference on Software Security and Reliability (SERE), IEEE Press, San Francisco, USA, 30 June-2 July, 2014, pp.167-176.
  2. Mo Li and Shaoying Liu, “Reviewing Formal Specification for Validation Using Animation and Trace Links”, Proceedings of 21th Asia-Pacific Software Engineering Conference (APSEC 2014), IEEE Press, Jeju, Korea, 1-4 Dec., 2014, pp.286-293.
  3. Mo Li and Shaoying Liu, “Tool Support for Rigorous Formal Specification Inspection”, Proceedings of IEEE 17th International Conference on Computational Science and Engineering (CSE 2014), IEEE Press, Chengdu, China, Dec. 19-21, 2014, pp.729-734.
  4. Mo Li and Shaoying Liu, “Adopting Variable Dependency in Animation for Presenting the Behavior of Process”, Proceedings of 4th International Workshop on SOFL + MSVL, LNCS 8979, Springer, Luxembourg, 6th Nov. 2014 (to appear).
  5. Shaoying Liu, Fauziah binti Zainuddin, and Mo Li, “Integrating Animation into Informal Specification Writing for Requirements Analysis”, Proceedings of 3rd International Conference on Informatics Engineering and Information Science (ICIEIS 2014), SDIWC, Poland, Sept. 22, 2014, pp. 136-143.
  6. Shaoying Liu, “Extending Operation Semantics to Enhance the Applicability of Formal Refinement”, Proceedings of 2014 Symposium on Specification Algebra and Software (SAS 2014), LNCS 8373, Springer, Kanazawa, Japan, April 14-16, 2014 pp. 434-440.
  7. Shaoying Liu and Shin Nakajima, “Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice”, Structured Object-Oriented Formal Language and Method, Proceedings of 3rd International Workshop on SOFL+MSVL(SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, Oct. 29, 2013.
  8. Mo Li, Shaoying Liu. “SOFL Specification Animation with Tool Support”,   3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 118-131.
  9. Shenghua Zhu, Shaoying Liu. “A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios”,    3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 104-117.
  10. Xi Wang, Shaoying Liu. “An Approach to Declaring Data Types for Formal Specifications”, 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 135-153.
  11. Wahyu Eko Sulistiono, Shaoying Liu. “Applying SOFL to Constructing a Smart Traffic Light Specification”, 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013), LNCS 8332, Springer, Queenstown, New Zealand, October 29, 2013, pp. 166-174.
  12. Xi Wang, Shaoying Liu. “An Approach to Representing and Utilizing Specification Pattern Knowledge for Computer-aided formalization of Requirements”, 12th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2013),  IEEE Press, Niigata, Japan, June 16-20, 2013, pp. 489-496.
  13. Xi Wang, Shaoying Liu. “Guided Requirements Clarification for Automatic Formalization”, 14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013), IEEE Press, Honolulu, Hawaii, U.S.A., July 1-3, 2013, pp.348-355.
  14. Shaoying Liu, Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs”, The Turing Centenary Conference, Manchester, UK, EPiC Series, June, 2012, pp. 229-238.
  15. Fauziah Zainuddin, Shaoying Liu, An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification”, 19th Asia-Pacific Software Engineering Conference (APSEC 2012),  IEEE CS press, Hong Kong, 2012, pp. 654-663..
  16. Mo Li, Shaoying Liu, Automated Functional Scenarios-based Formal Specification Animation, 19th Asia-Pacific Software Engineering Conference (APSEC 2012),  IEEE CS press, Hong Kong, 2012, pp. 107-115..
  17. CenCen Li, Shaoying Liu, Shin Nakajima, An Experiment for Assessment of a “Functional Scenario-based” Test Case Generation Method”, International Conference on Software Engineering and Technology (ICSET 2012), 2012, pp. 64-71.
  18. Weichen Cai, Shaoying Liu, Building Requirements Traceability to Support Specification Construction and Evolution, Special session on Advanced Computational Technologies for Industry and Service Management, CNSI 2012, Jeju, Korea, May 2012.
  19. Shaoying Liu, Shin Nakajima, A "Vibration" Method for Automatically Generating Test Cases Based onFormal Specifications”, 18thAsia Pacific Conference on Software Engineering (APSEC 2011), IEEE CS Press, VNU-HCM, Vietnam, Dec. 5-8, 2011, pp.73-80.
  20. Fauziah Zainuddin, Shaoying Liu, Integrating Prototyping into the SOFL Three-Step Modeling Approach”, 13th International Conference onFormal Engineering Methods (ICFEM 2011), LNCS, Springer, Durham, UK, Oct. 25-28, 2011, pp. 163-178.
  21. Xi Wang, Shaoying Liu, Huaikou Miao, A Pattern-Based Approach to Formal Specification Construction”, 2011 International Conference on Advanced Software Engineering and Its Application, CCIS 257, Springer, Jeju, Korea, Dec. 13-15, 2011, pp.159-168.
  22. Weikai Miao, Shaoying Liu, A Formal Specification-Based Testing Approach to Accurate Web Service Selection”, 2011 IEEE Asia Pacific Services Computing Conference, IEEE CS Press, Jeju, Korea, Dec. 12-15, 2011, pp. 259-266.
  23. Abdul Rahman Mat, Shaoying Liu, Organizing Knowledge to Support Requirements Analysis”, 3rd International Conference. on Computer Research and Development, IEEE Press, Shanghai, China, Mar. 11-13, 2011,  pp. 65-71.
  24. Azma Abdullah, Shaoying Liu, Capturing Safety Prototypes for Safety-Critical Systems using SOFL”, 2011 ACIS/JNU Intl. Conf.on Computers, Networks, Systems, and Industrial Engineering, IEEE Press, Jeju, Korea, May 23-25, 2011, pp. 186-192.
  25. Mo Li, Shaoying Liu, Automatically Generating Functional Scenarios from SOFL CDFD for Specification Inspection”, 10th IASTED International. Conference on Software Engineering, Innsbruck, Austria, Feb. 15-17, 2011, pp. 18-25.
  26. Cong Tian, Shaoying Liu, Shin Nakajima, Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates”, 2011 International Workshop on Constraints in Software Testing, Verification and Analysis, IEEE CS Press, Berlin, Mar. 25, 2011, pp. 186-192.
  27. Xi Wang, Shaoying Liu, Huaikou Miao,A Pattern System to Support Refining Informal Ideas into Formal Expressions”, 12th International Conference on Formal Engineering Methods (ICFEM 2010), LNCS, Springer-Verlag, 17-19 Nov. 2010, Shanghai, China, pp. 662-677.
  28. Shaoying Liu and Shin Nakajima,“A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications", 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, June 9-11, 2010, pp. 147-155.
  29. Shaoying Liu, T.Hayashi,  K. Takahashi, K. Kimura, T. Nakayama, Shin Nakajima, Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation”, 9th International Conference on Software Methodologies, Tools, and Techniques, IOS Press, Yokohama, Japan, Sept. 29-Oct.1, 2010, pp. 383-397.
  30. Shaoying Liu, A Framework for Developing Dependable Software Systems using the SOFL Formal Engineering Method”, 2010 IEEE International Conference on Intelligent Computing and Integrated Systems, Guilin, China, Oct. 22-24, 2010, pp. 561-567.
  31. Yuting Chen, Shaoying Liu, and Linzhang Wang,An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems”, 10th International Conference on Quality Software (QSIC 2010), IEEE Press, Zhangjiajie, China, July 14–15, 2010, pp. 214-219.
  32. Shaoying Liu and Xiang Xu, ``Automated Software Specification and Design using the SOFL Formal Engineering Method'', 2009 World Congress on Software Engineering (WCSE2009), IEEE CS Press, Xiamen, China, May 19-21, 2009, pp. 283-289.
  33. Weikai Miao and Shaoying Liu, ``Service-Oriented Modeling Using the SOFL Formal Engineering Method'', IEEE Asia-Pacific Services Computing Conference, IEEE CS press, Dec. 7-11, 2009, pp. 187-192.
  34. Abdul R. Mat and Shaoying Liu, ``Applying SOFL to Construct the Formal Specification of an Automatic Automobile Driving Simulation System'', International Conference on Software Technology and Engineering, World Scientific Publishing, Chennai, India, July 24-26, 2009, pp. 42-48.
  35. Shaoyng Liu, Tetsuo Tamai, Shin Nakajima, ``Integration of Formal Specification, Review, and Testing for Software Component Quality Assurance'', Proceedings of 2009 ACM Symposium on Applied Computing, Software Engineering Track, ACM Press, Hawaii, March 2009, pp. 415-421.
  36. Shaoyng Liu, ``Integrating Top-Down and Secnario-Based Methods for Constructing Software Specifications'', Proceedings of 8th International Conference on Quality Software (QSIC 2008), IEEEComputer Society Press, Oxford, UK, Aug. 12-13, 2008, pp. 105-113.
  37. Shaoyng Liu, ``Utilizing Formalization to Test Programs without Available Source Code'', Proceedings of 8th International Conference on Quality Software (QSIC 2008), IEEEComputer Society Press, Oxford, UK, Aug. 12-13, 2008, pp. 349-356.
  38. Shaoyng Liu, ``Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility'', Proceedings of 10th IEEE High Assurance Systems Engineering Symposium, IEEE Computer Society Press, Dallas, Texas, November 14-16, 2007, pp. 349-356.
  39. Shaoying Liu, ``Integrating Specification-Based Review and Testing for Detecting Errors in Programs”, Proceedings of the 9th International Conference on Formal Engineering Methods (ICFEM 2007), LNCS, Springer-Verlag, Florida Atlantic University, Boca Raton, Florida, USA, 13-15 November 2007, pp. 136-150.
  40. Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou, ``Developing an Insulin Pump System Using the SOFL Method", Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press , Nagoya, Japan, Dec 5-7, 2007,  pp. 334-341.
  41. Shaoying Liu and Eric Wong, ``Applications of Formal Engineering Method for Modeling and Testing”, Proceedings of Fourth International Conference on Information Technology and Applications (ICITA2007), Harbin, China, 15-18 January 2007, pp. 727-732.
  42. Yuting Chen, Shaoying Liu, Fumiko Nagoya, ``A Tool-Supported Review Approach to Detecting Structural Consistency Violations'', Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICEECS 2006), IEEE Computer Society Press, Stanford University, CA, USA, 14-18 August 2006, pp. 121-130.
  43. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, and John McDermid. "An Automated Approach to Specification-Based Program Inspection", The 7th International Conference on Formal Engineering Methods (ICFEM 2005), Manchester, UK, LNCS 3785 Springer-Verlag, 1-4 November 2005, pp. 421-434.
  44. Fumiko Nagoya, Shaoying Liu, Yuting Chen, "A Tool and Case Study for Specification-Based Program Review", The 29th Annual International Computer Software and Applications Conference (COMPSAC2005), Edinburgh, Sotland, July 25-28, 2005, IEEE Computer Society Press, pp. 375-380.
  45. Fumiko Nagoya, Shaoying Liu, Yuting Chen "Design and Implementation of a Specification-Based Program Review Tool", The 9th IASTED International Conference on Software Engineering and Applications (SEA 2005), Phoenix, AZ, USA November 14-16, 2005, pp. 48-53.
  46. Yuting Chen, Shaoying Liu, and Fumiko Nagoya, “A Review Approach to Detecting Structural Consistency Violations in Programs”, 4th Annual International Conference on Computer and Information Science (ICIS 2005), IEEE Computer Society Press, July 14-16, 2005, Jeju Island, South Korea, pp. 61-66.
  47. Fumiko Nagoya, Shaoying Liu, Yuting Chen, “Design of a Tool for Specification-Based Program Review”, Workshop on SOFL in the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2005), Shanghai, China, 16-20 June 2005, IEEE Computer Society Press, pp. 10-11.
  48. Yuting Chen, Shaoying Liu, and Fumiko Nagoya, “A Framework for SOFL-Based Program Review”, Workshop on SOFL in the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2005), Shanghai, China, 16-20 June 2005, IEEE Computer Society Press, pp. 6-7.
  49. Fumiko Nagoya, Shaoying Liu, Yuting Chen: “An Investigation of the Approach to Specification-based Program Review through Case Studies”, The 9th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2004), IEEE Computer Society Press, Florence, Italy, April 14-16, 2004, pp. 249-258.
  50. Yuting Chen and Shaoying Liu: “An Approach to Detecting DomainErrors Using Formal Specification-Based Testing”, The 11th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Nov. 30 – Dec. 3, 2004, pp. 276-283.
  51. Yuting Chen, Shaoying Liu, Fumiko Nagoya: “An Approach to Integration Testing Based on Data Flow Specifications”, First International Colloquium on Theoretical Aspects of Computing (ICTAC2004), LNCS, Springer-Verlag, Guiyiang, China, 2004, pp. 405-419.
  52. Shaoying Liu: “A Framework for Developing Dependable Software Systems Using the SOFL Method”, First Workshop on Dependable Software (DSW2004), Tokyo, Feb. 23-24, 2004, pp. 131-140.
  53. Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu, "The Availability Semantics of Predicate Data Flow Diagrams", Second International Workshop on Grid and Cooperative Computing (GCC2003), LNCS, Springer-Verlag, Shanghai, China, December 7-10, 2003, pp. 1426-1433.
  54. Wuwei Shen, Shaoying Liu, "Formalization, Testing and Execution of a Use Case Diagram", 5th International Conference on Formal Engineering Methods (ICFEM2003), LNCS, Springer-Verlag, Singapore, November 5-7, 2003, pp. 68-85.
  55. Shaoying Liu, "A Property-Based Approach to Reviewing Formal Specifications for Consistency", 16th International Conference on Software & Systems Engineering and Their Applications, Paris, France, December 2-4, 2003, Vol. 4, pp. 1/6 - 6/6.
  56. Shaoying Liu, "Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specifications", Proceedings of Asia-Pacific Software Engineering Conference (APSEC03), IEEE Computer Society Press, Chiangmai, Thailand, December 10-12, 2003, pp. 510-519.
  57. Shaoying Liu, "Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols", Proceedings of The International Conference on Advanced Information Networking and Applications (AINA2003) IEEE Computer Society Press, March 27-29, 2003, Xi'an, China, pp. 289-292.
  58. Sirin Bekbay, Shaoying Liu, "A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL", Third International Conference on Quality Software (QSIC2003), IEEE Computer Society Press, Dallas, Texas, USA, November 6-7, 2003, pp. 100-107.
  59. Shaoying Liu, "Capturing Complete and Accurate Requirements by Refinement", Proceedings of 8th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Greenbelt, Maryland, USA, Decem ber 2-4, 2002.
  60. Shaoying Liu, Jin Song Dong, "Extending SOFL to Support Both Top-Down and Bottom-Up Approaches", Proceedings of 2002 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2002), IEEE Computer Society Press, Ham mamet, Tunisia, October 6-9, 2002.
  61. Shaoying Liu, "A Top-Down Approach to Identifying and Defining Words for Lyee Using Condition Data Flow Diagrams", Proceedings of 2002 Lyee International Workshop (Lyee-W02), IOS international publisher, Paris, France, October 3- 5, 2002.
  62. Shaoying Liu, "Integrating UML and SOFL for Object-Oriented Design", Proceedings of The Third International Conference on Computer and Information Technology (CIT2002), Aizu-Wakamatsu City, Japan, September 11 - 14, 2002, pp. 92-98.
  63. Jin Song Dong, Shaoying Liu, "The Semantics of Extended SOFL", Proceedings of 26th Annual International Software and Application Conference, IEEE Computer Society Press, Oxford, England, 26-29 August 2002, pp. 653 -658.
  64. Shaoying Liu, "An Approach to Transforming Visual Formal Specifications to Java Programs", Proceedings of The Third International Conference on Computer and Information Technology (CIT2002), Aizu-Wakamatsu City, Japan, September 11 - 14, 2002 ,pp. 116-123.
  65. Shaoying Liu, "A Simulation Approach to Verification and Validation of Formal Specifications'', Proceedings of First International Conference on Cyber World: Theory and Practice, IEEE Computer Society Press, pp. 113-120, November 6-8, 2002, pp. 113-120.
  66. Shaoying Liu, "A Rigorous Approach to Reviewing Formal Specifications", Proceedings of 27th Annual IEEE/NASA International Software Engineering Workshop, IEEE Computer Society Press, December 4-6, 2002, pp. 75-81.
  67. Shaoying Liu, Jin Song Dong, "Class and Module in SOFL", Proceedings of The Second Asia-Pacific Conference on Quality Software, IEEE Computer Society Press, Hong Kong, 10-11 December 2001, pp. 241-245.
  68. Takaaki Nakano, Shaoying Liu, "Improving Software Process Quality Using Formal Engineering Methods", Proceedings of Foundation of Software Engineering 2001 (FOSE2001), Kindai Science Press, November 2001, pp. 163-166.
  69. Hassan Gomaa, Shaoying Liu, Michael Shin, "Integration of Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language", Proceedings of 6th IEEE International Conference on Engineering of Complex Com puter Systems, IEEE Computer Society Press, Tokyo, Japan, September 11-14, 2000, pp. 61-71.
  70. Shaoying Liu, ``Verifying Formal Specifications Using Fault Tree Analysis", Proceedings of International Symposium on Principle of Software Evolution, IEEE Computer Society Press, Kanazawa, Japan, November 1-2, 2000.
  71. Shaoying Liu, Tetsuo Fukuzaki, Toji Miyamoto, ``A GUI and Testing Tool for SOFL", Proceedings of 2000 Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Singapore, December 5-8, 2000, pp. 421-425.
  72. Shaoying Liu and Jim Woodcock, ``Supporting Rigorous Reviews of Formal Specifications Using Fault Trees", Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, Publishing Hoseu of Electronics Industry, August 21-25, 2000, Beijing, China, pp. 459-470.
  73. Shaoying Liu, ``Verifying Consistency and Validity of Formal Specifications by Testing", Proceedings of World Congress on Formal Methods in the Development of Computing Systems, FM'99 - Formal Methods, Lecture Notes in Computer Science, No. 1708, Springer-Verlag, Toulouse, France, September 20-24, 1999, pp. 896-914.
  74. Shaoying Liu, Masaomi Shibata, Ryuichi Sato, ``Applying SOFL to Develop a Univeristy Information System", Proceedings of 1999 Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Takamatsu, Japan, December 6-10, 1999.
  75. Jin Song Dong and Shaoying Liu, ``An Object Semantic Model of SOFL", Proceedings of Integrated Formal Methods 1999: - A Workshop on Combining State-based and Behavioural Formalisms - (IFM'99), Springer-Verlag, York, UK, June 28th-29th 1999.
  76. A Jeff. Offutt, Yiwei Xiong, Shaoying Liu, ``Criteria for Generating Specification-based Tests", Proceedings of Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), IEEE Computer Society Press, Las Vegas, Nevada, USA, October 18-21, 1999, pp. 119-129.
  77. Shaoying Liu, ``Software Development by Evolution", Proceedings of Second International Workshop on Principles of Software Evolution (IWPSE99), Fukuoka City, Japan, July 16-17, 1999, pp. 12-16.
  78. Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills, ``Interacting Frameworks in Catalysis", Proceedings of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), Brisbane, Australia, December 9-11, 1998, pp. 110-119.
  79. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura, ``An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL", Proceedings of Fourth IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Monterey, California, USA, August 10-14, 1998, pp. 100-114.
  80. Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura, ``Applying SOFL to Specify A Railway Crossing Controller for Industry", Proceedings of 1998 IEEE Workshop on Industrial-strength Formal specification Techniques, Boca Raton, Florida, USA, October 20-23, 1998.
  81. Shaoying Liu, ``Evolution: A More Practical Approach than Refinement for Software Development", Proceedings of Third IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Villa Olmo, Como, Italy, September 8-12 1997, pp. 142-151.
  82. Chris Ho-Stuart and Shaoying Liu, ``A Formal Operational Semantics for SOFL", Proceedings of 1997 Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Hong Kong, December 2-5, 1997, pp. 52-61.
  83. Yong Sun, Shaoying Liu, Mitsuru Ohba, ``Self-independent Petri Nets for Distributed Systems", Proceedings of the 1997 IFIP TC6/WG6.1 Joint International Conference on Formal Descriptions for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'97), Chapman & Hall, Osaka, Japan, November 18-21, 1997, pp. 487-502.
  84. Jian Chen and Shaoying Liu, ``An Approach to Testing Object-Oriented Formal Specifications", Proceedings of TOOLS Pacific 96, Melborne, Australia, TOOLS/ISE, November 25-28, 1996, pp. 225-238.
  85. John A. McDermid and Shaoying Liu, ``A Case Study Using SAM -- Safety Analysis of PES", Proceedings of 1996 Asia-Pacific Software Engineering Conference, IEEE Press, Soeal, Korea, December 4-6, 1996, pp. 217-224.
  86. Shaoying Liu and Chris Ho-Stuart, ``Semi-automatic Transformation from Formal Specifications to Programs", (received an ``Outstanding Paper Award''), Proceedings of Second IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Montreal, Canada, October 21-25, 1996, pp. 506-513.
  87. Shaoying Liu and Rolf Adams, ``Limitations of Formal Methods and An Approach to Improvement", Proceedings of 1995 Asia-Pacific Software Engineering Conference (APSEC'95), IEEE Computer Society Press, Brisbane, Australia, December 6 -- 10, 1995, pp. 498-507.
  88. Shaoying Liu and Yong Sun, ``Structured Methodology + Object-Oriented Methodology + Formal Methods: Methodology of SOFL", Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems, IEEE Press, Ft. Landerdale, Florida, U.S.A., November 6 -- 10, 1995, pp. 137-144.
  89. Victoria Stavridou, Shaoying Liu, Bruno Dutertre, ``Formal Methods and Dependability Assessment", Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS'94), IEEE Press, Gaithersburg, U.S.A., June 27 - July 1, 1994, pp. 53-66.
  90. Shaoying Liu and John A. McDermid, ``Dynamic Sets and Their Application in VDM'', Proceedings of 1993 ACM Symposium on Applied Computing, Indiana, ACM Press, USA, Feb., 1993, pp. 187-192.
  91. Shaoying Liu, ``A Formal Software Design Language and Correctness Proofs", Proceedings of Nordic Workshop on Programming Environment Research, Tampere, Finland, 8-10 January, 1992, pp. 1-15.
  92. Shaoying Liu, ``A Formal Structured Method for Requirements Specification Construction", Proceedings of 1992 ACM Symposium on Applied Computing (SAC '92), Kansas City, USA, ACM Press, 1-3 March, 1992, pp. 1055-1063.
  93. Shaoying Liu, ``A Formal Graphical Language for Requirements Specification of Information Systems", Proceedings of 2nd Irvine Software Symposium (ISS'92), University of California, Irvine, USA, 6 March, 1992, pp.164-179.
  94. Shaoying Liu, ``A User-Friendly Formal Requirements Specification Method", Proceedings of 30th Annual ACM Southeast Conference, Raleigh, NC, USA, ACM Press, 8-10 April, 1992, pp. 211-218.
  95. Shaoying Liu, ``A Practical Method for Producing Precise Requirements Specifications", Proceedings of Second Great Lakes Computer Science Conference, Kalamazoo, USA, October 17-19, 1991, pp. 3-15.
  96. Shaoying Liu, ``Gradual Formal System Development Method", Proceedings of the International Conference on Systems Management '90, Hong Kong, 11-13 June,1990, pp. 13-19.

6. Refereed Publications on Teaching Methods

  1. Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, and ToshihiroNakayama, ``Teaching Formal Methods in the Context of Software Engineering'', ACM inroads SIGCSE Bulletin, ACM Press, Vol. 41, No. 2, June 2009, pp.17-23.
  2. Shaoying Liu, ``Trial of a Six Step Teaching Method'' (in Chinese), Journal of Teaching Research, Xi'an Jiaotong UniversityPress, Feb. 1985, pp. 60-64.