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, ISBN 3-540-20602-7.

1.2 Edited Books:

  1. Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds), “Structured Object-Oriented Formal Language and Method – 9th International Workshop, SOFL+MSVL 2019”, LNCS 12028, Springer, Shenzhen, China, November 5, 2019.
  2. Zhenhua Duan and Shaoying Liu, Cong Tian, Fumiko Nagoya (eds), “Structured Object-Oriented Formal Language and Method – 8th International Workshop, SOFL+MSVL 2018”, LNCS 11392, Springer, Gold Coast, Australia, November 5, 2018.
  3. Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, “Structured Object-Oriented Formal Language and Method – 7th International Workshop, SOFL+MSVL 2017”, LNCS 10795, Springer, Xi’an, November 16, 2017.
  4. Shaoying Liu Zhenhua DuanCong Tian, and Fumiko Nagoya, "Structured Object-Oriented Formal Language and Method", Proceedings of the 6th International Workshop on SOFL+MSVL (SOFL+MSVL 2016), LNCS 10189, Springer, 2016.
  5. Kazuhiro Ogata, Mark Lawford, Shaoying Liu, “Formal Methods and Software Engineering”, Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), LNCS, Springer, 2016.
  6. Shaoying Liu and Zhenhua Duan, "Structured Object-Oriented Formal Language and Method", Proceedings of the Fifth International Workshop on SOFL+MSVL (SOFL+MSVL 2015), LNCS 9559, Springer, 2015.
  7. Shaoying Liu and Zhenhua Duan, "Structured Object-Oriented Formal Language and Method", Proceedings of the Fourth International Workshop on SOFL+MSVL (SOFL+MSVL 2014), LNCS 8979, Springer, 2014.
  8. 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.
  9. Shaoying Liu, "Structured Object-Oriented Formal Language and Method", Proceedings of the Second International Workshop on SOFL (SOFL 2012), LNCS 7787, Springer, 2012.
  10. Shaoying Liu, Tom Maibaum, and Keijiro Araki (eds), ``Formal Methods and Software Engineering’’, Proceedings of 10th International Conference on Formal Engineering Methods, LNCS, Springer-Verlag, Kitakyushu-City, Japan, Oct. 27-31, 2008.
  11. 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.
  12. 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.
  13. 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, “Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation”, 2016 International Symposium on Software and System Reliability (ISSSR 2016), IEEE Press, ECNU, Shanghai, Oct. 29-30, 2016.
  2.  Shaoying Liu, “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
  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-17.
  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.
  5. Shaoying Liu, “Testing-Based Formal Verification - A New and Practical Approach for Software Quality Assurance”, 19th International Conference on Engineering of Complex Computer Systems, 4-7 August, Tianjin, China, 2014.

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. Shaoying Liu and Shin Nakajima, "Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Specifications for Conformance Testing", IEEE Transactions on Software Engineering (in press), Digital Object Identifier: 10.1109/TSE.2020.2999884.  
  2. Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu, “autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications”, Science China Information Sciences, Vol. 61, May 2018, pp. 052102:1–052102:15 https://doi.org/10.1007/s11432-016-9039-4.
  3. Yufei Yin, Shaoying Liu, Yixiang Chen, “Validation and Verification of SYSML Activity Diagrams Uing Hoare Logic”, International Journal of Software Engineering & Applications (IJSEA), Vol.9, No.4, July 2018, pp. 101-117.
  4. Yu Chen and Shaoying Liu, “Design and Implementation of Automated Visualization for Input / Output for Processes in SOFL Formal Specifications”, International Journal of Software Engineering & Applications (IJSEA), Vol.9, No.4, July 2018, pp. 139-157.
  5. Fumiko Nagoya, Shaoying Liu: Development of a Web Dictionary System Using SOFL. International Journal on Wireless Personal Communications 94(2): 253-266 (2017),
  6. Mo Li and Shaoying Liu, “Integrating Animation-Based Inspection into Formal Design Specification Construction for Reliable Software Systems ”, IEEE Transactions on Reliability, Vol. 65, No. 1, March 2016, pp. 88-106.
  7. Xi Wang and Shaoying Liu, "Computer-aided Formalization of Requirements Based on Patterns", IEICE Transactions on Information and Systems, E97.D(2), 2014, pp. 198-212.
  8. Weikai Miao and Shaoying Liu, "A Formal Framework for Service-Based Software Modelling", IEEE Transactions on Services Computing, Vol. 6, No. 4, Oct.-Dec. 2013, pp. 536-550.
  9. Shaoying Liu, Yuting Chen, Fumiko Nagoya, John McDermid, “Formal Specification-Based Inspection for Verification of Programs”, IEEE Transactions on Software Engineering, Vol. 35, No. 8, 2012, pp. 1100-1122.
  10. Shaoying Liu, Wuei Shen, and 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.
  11. Shaoying Liu, John McDermid, and Yuting Chen, ``A Rigorous Method for Inspection of Model-Based Formal Specifications”, IEEE Transactions on Reliability, IEEE Press, Vol. 59, No. 4, December, 2010, pp. 667-684..
  12. 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, IEEE Computer Society Press, Vol. 24, No. 1, January 1998, pp. 24-45.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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, 22 December, DOI 10.1007/s11334-0114-3.
  19. 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), 18(8), Dec, 2008. World Scientific Publishing Co. Pte. Ltd.
  20. 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.
  21. 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.
  22. 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.
  23. Shaoying Liu, "An Approach to Transforming Visual Formal Specifications to Java Programs" (extended version), The Journal of Three Dimensional Images, Vol. 17, No. 1, March 2003, pp. 121-128.
  24. A Jeff. Offutt and Shaoying Liu, "Generating Test Data from SOFL Specifications", The Journal of Systems and Software, Elsevier Science Inc., Vol. 49, No. 1, December 1999, pp. 49-62.
  25. 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.
  26. 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.
  27. Shaoying Liu, "Formal Methods and Intelligent Software Engineering Environments", Information - An International Journal, Vol. 1, No.1, 1998, pp. 83-102.
  28. 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.
  29. Shaoying Liu and John A. McDermid, "A Model-Oriented Approach to Safety Analysis Using Fault Trees and Its Support System", The Journal of Systems and Software, Elsevier Science Inc., No. 2, November 1996, pp. 151-164.
  30. Shaoying Liu, "Internal Consistency of FRSM Specifications", The Journal of Systems and Software, Elsevier Science Inc., USA, No. 2, May 1995, pp. 167-176.
  31. Shaoying Liu, Victoria Stavridou, Bruno Dutertre, "The Practice of Formal Methods in Safety Critical Systems", The Journal of Systems and Software, Elsevier Science Inc., USA, Vol. 28, No. 1, January 1995, pp. 77-87.
  32. Shaoying Liu, "A Formal Requirements Specification Method Based on Data Flow Analysis", The Journal of Systems and Software, Elsevier Science Inc., USA, No. 21, February 1993, pp. 141-149.
  33. 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.
  34. Shaoying Liu and Youren Li, "Production Software Development Tool", Journal of Computer Research and Development, No.6, June 1990, pp. 1-9 (in Chinese).
  35. Shaoying Liu, "Formal Software Development Methods", Journal of Computer Science, No.6, June 1990, pp. 21-30 (in Chinese).
  36. 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).
  37. 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).
  38. Shaoying Liu and Youren Li, "Production Software Development Documents", Journal of Computation Technique Information, No.5, June 1987, pp. 27-34 (in Chinese).
  39. 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. Rong Wang and Shaoying Liu, “Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution”, The 19th IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), IEEE Press, Sofia, Bulgaria, 2019, pp. 205-212.
  2. Busalire Emeka and Shaoying Liu, “A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications”, 9th International Conference on SOFL+MSVL (SOFL+MSVL 2019), LNCS 12028, Springer, Shenzhen, China, November 5, 2019, pp 13-28.
  3. Qin Xu, Shaoying Liu, Tao Zhang, “A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction”, 9th International Conference on SOFL+MSVL (SOFL+MSVL 2019), LNCS 12028, Springer, Shenzhen, China, 2019, pp 167-186.
  4. Rong Wang and Shaoying Liu, “TBFV-SE: Testing-Based Formal Verification with Symbolic Execution”, proceedings of  2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018), IEEE Press,  Lisbon, Portugal, 16-20 July 2018, pp. 59-66 (short paper) DOI: 10.1109/QRS.2018.00019.
  5. Yu Chen, Shaoying Liu, “Automated Visualization of Input / Output for Processes in SOFL Formal Specifications”, The 7th International Conference on Software Engineering and Applications (SEAS 2018), Computer Science & Information Technology, AIRCC Publishing Corporation, Copenhagen, Denmark, June 23-24, 2018, pp. 33-48.
  6. Yufei Yin, Shaoying Liu, Yixiang Chen, “TBFV-M: Testing Based Formal Verification for Sysml Activity Diagrams”, The 7th International Conference on Software Engineering and Applications (SEAS 2018), Computer Science & Information Technology, AIRCC Publishing Corporation, Copenhagen, Denmark, June 23-24, 2018, pp. 49-68.
  7. Haitao ZhangGuoqiang LiLi XiaohongZhuo ChengJinyun XueShaoying Liu, “An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property”, ICSE 2018  Posters Track. Poster T1, IEEE Press, Gothenburg Sweden, May 27 – June 3, 2018, pp. 230-231.
  8. Shaoying Liu, “Software Construction Monitoring and Predicting for Human-Machine Pair Programming”,  Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security, LNCS 11392, Springer, Gold Coast, Australia, 16 Nov. 2018, pp. 3-20.
  9. Shaoying Liu, “Agile Formal Engineering Method for Software Productivity and Reliability”, The 14th  Central and Eastern European Software Engineering Conference Russia (CEE-SECR 2018), ACM press, Moscow, Russia Federation, Oct. 12-13, 2018, pp. 64-69. Doi: 10.1145/3290621.3290634
  10. Yufei Yin, Shaoying Liu, Yixiang Chen, “Verification of SysML Activity Diagrams using Hoare Logic and SOFL”, Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security, LNCS 11392, Springer, Gold Coast, Australia, 16 Nov. 2018, pp. 71-88.
  11. Busalire Onesmus Emeka, Shaoying Liu, “Security Requirement Engineering Using Structured Object-Oriented Formal language for M-banking Applications”, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017),  Prague, Czech Republic, : 25-29 July 2017, pp.176 – 183.
  12. Fumiko Nagoya, Shaoying Liu, “A Comparative Study of a GUI-Aided Formal Specification Construction Approach”, 2017 International Conference on Computational Science and Its Applications (ICCSA 2017), LNCS 10404, Springer, Italy, July 3-6, 2017, pp. 273 - 283.
  13. Busalire Onesmus Emeka, Shaoying Liu, “Assessing and Extracting Software Security Vulnerabilities in SOFL Formal Specifications”, 2018 International Conference on Electronics, Information, and Communication (ICEIC 2018), IEEE Press, Honolulu, Hawaii, USA, Jan. 24-27, 2018, pp. 1-4. DOI: 10.23919/ELINFOCOM.2018.8330613.
  14. Pan Zhao, Shaoying Liu, “A Software Tool to Support the “Vibration’’ Method”, 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795, Springer, Xi’an, China, Nov. 16, 2017, pp. 171-186.
  15. Siyuan Li, Shaoying Liu, “A Software Tool to Support Scenario-Based Formal Specification for Error Prevention”, 7th International Conference on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795, Springer, Xi’an, China, Nov. 16, 2017, pp. 187-199.
  16. Shingo Fukuoka, Yixiang Chen, Shaoying Liu, “Semi-Formal Verification with Supporting Tool by Automatic Application of Hoare Logic”, 4th Annual International Conference on Computer Science and Applications (CSA2017), ACM International Conference Proceedings Series (ICPS), Beijing, China, Dec. 8-10, 2017, pp. 83-95.
  17. Shaoying Liu, “Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification”, Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016), LNCS 9762, Springer, Vienna, Austria, July 5-7, 2016, pp. 112-129.
  18. Shaoying Liu, “A Tool Supported Testing Method for Reducing Cost and Improving Quality”, Proceedings of 2016 IEEE International Conference on Quality, Reliability and Security (QRS 2016), IEEE Press, Vienna, Austria, August 1-3, 2016, pp. 449 – 455.
  19. Shaoying Liu, “Validating Formal Specifications using Testing-Based Specification Animation”, FormaliSE 2016 Proceedings of the 4th FME workshop on Formal Methods in Software Engineering, ACM Press, Austin, TX, USA, May 15, 2016, pp. 29-35.
  20. Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou, “Applying SOFL to a Railway Interlocking System in Industry”, Proceedings of the 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS, Springer, Tokyo, Japan, November 15, 2016.
  21. Fumiko Nagoya, Shaoying Liu, “A Case Study of a GUI-Aided Approach to Constructing Formal Specifications”, Proceedings of the 6th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS, Springer, Tokyo, Japan, November 15, 2016.
  22. Shaoying Liu, “A GUI-Aided Approach to Formal Specification Construction”, 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2015), LNCS 9559, Springer, Paris, France, November 6, 2015, pp. 44-56.
  23. Shaoying Liu, Xi Wang, and Weikai Miao, “Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction”, 17th International Conference on Formal Engineering Methods (ICFEM 2015), LNCS 9407, Springer, Paris, France, November 3-5, 2015, pp. 100-115.
  24. Shaoying Liu, “Automatic Selection of System Functional Scenarios for Formal Specification Animation”, 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press, New Delhi, India, December 1 ~ 4, 2015, pp. 72-79.
  25. Xiongwen Luo and Shaoying Liu, “Automatic Transformation from SOFL Module Specifications to Program Structures”, 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS 9559, Springer, Paris, France, November 6, 2015, pp. 206-218.
  26. Fauziah binti Zainuddin and Shaoying Liu, “PowerPoint Add-in Tool Support for Informal and Semi-formal Specification Animation”, 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), IEEE CS Press, New Delhi, India, Decmber 1 ~ 4, 2015, pp.24-31.
  27. Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, and Arne Skou, “Validating Timed Component Contracts”, 2015 41st Euromicro Conference on Software Engineering and Advnaced Applications, Conference Publishing Services, Funchal, Madeira, Portugal, August 26-28, 2015, pp. 245-249.
  28. Weikai Miao, Xi Wang, and Shaoying Liu, “A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge”,  9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), IEEE CS Press, Nanjing, China, September 12-14, 2015, pp. 127-130.
  29. Fumiko Nagoya, Shaoying Liu, and Kyousuke Hamada, “Developing a Web Dictionary System using the SOFL Three-Step Specification Approach”, 5th International Conference on IT Convergence and Security (ICITCS 2015), IEEE CS Press, Kuala Lumpur, August 24-27, 2015, pp. 1-5, doi: 10.1109/ICITCS.2015.7292971.
  30. Fumiko Nagoya and Shaoying Liu, “Development of a Web-Based Conference Management System using SOFL”, 2015 Research in Adaptive and Convergent Systems (RACS 2015), ACM Press, Prague, Czech Republic, October 9-12, 2015, pp. 337-342.
  31. Yayato Ikeda, Yan Ye, Shaoying Liu, “Development of a Support Tool for Automatic Test Case Generation from Formal Specification”, FOSE 2015, pp. 59-64 (in Japanese)
  32. 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.
  33. 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.
  34. 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.
  35. 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).
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. Mo Li, Shaoying Liu, “Traceability-Based Formal Specification Inspection”, 8th International Conference on Software Security and Reliability (SERE 2014), IEEE Press, San Francisco, USA, June 30 – July 2, 2014.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima, “”Functional Scenario-Based” Test Case Generation Method in Unit Testing and Integration Testing”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 1-11.
  52. Weihang Zhang, Shaoying Liu, “Supporting Tool for Automatic Specification-Based Test Case Generation”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 12-25.
  53. Weikai Miao, Shaoying Liu, “A Formal Specification-Based Integration Testing Approach”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 26-43.
  54. Mo Li, Shaoying Liu, “Design and Implementation of a Tool for Specifying Specification in SOFL”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 44-55.
  55. Xi Wang, Shaoying Liu, “Development of a Supporting Tool for Formalizing Software Requirements”, Structured Object-Oriented Formal Language and Method, Proceedings of 2nd International Workshop on SOFL (SOFL 2012), Kyoto Japan, November 2012, pp. 56-70.
  56. 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.
  57. 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.
  58. Xi Wang, Shaoying Liu, Huaikou Miao, “A Pattern-Based Approach to Formal Specification Construction”, 2011 Intl. Conf. on Advanced Software Engineering and Its Application, CCIS/LNCS, Springer, Jeju, Korea, Dec. 13-15, 2011, pp.159-168.
  59. 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.
  60. Abdul Rahman Mat, Shaoying Liu, “Organizing Knowledge to Support Requirements Analysis”, 3rd Intl. Conf. on Computer Research and Development, IEEE Press, Shanghai, China, Mar. 11-13, 2011,  pp. 65-71.
  61. 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.
  62. Mo Li, Shaoying Liu, “Automatically Generating Functional Scenarios from SOFL CDFD for Specification Inspection”, 10th IASTED Intl. Conf. on Software Engineering, Innsbruck, Austria, Feb. 15-17, 2011, pp. 18-25.
  63. 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.
  64. 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.
  65. Shaoying Liu and Shin Nakajima, ``A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications’’, Proceedings of 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, IEEE CS Press, Singapore, July 9-11, 2010, pp. 147-155.
  66. Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, and 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 (SoMet 2010), IOS International Publisher, Yokohama, Japan, Sept. 29 –-Oct. 1, 2010, pp. 383-397.
  67. 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.
  68. 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.
  69. 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.
  70. Shaoying 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.
  71. Shaoying Liu, ``Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications’’, Proceedings of 8th International Conference on Quality Software (QSIC 2008), IEEE Computer Society Press, Oxford, UK, Aug. 12-13, 2008, pp. 105-113.
  72. Shaoying 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.
  73. Shaoying 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.
  74. 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.
  75. 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.
  76. 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.
  77. Shaoying Liu, “Scenario-Preserved Refinement: a Small Proposal for an Important Problem”, Proceedings of 1st International Workshop on Asian Working Conference on Verified Software (AWCVS06), UNU-IIST Report No. 347, Macau, October 29-31, 2006, pp. 1-10.
  78. Shaoying Liu and Satoshi Kagiyama, ``A Tool for Automatic Transformation between SOFL Class Specifications and UML Diagrams’’, Proceedings of 2006 Software Engineering and Applications (SEA2006), ACTA Press, Dallas, Texas, USA, November 13-15, 2006, pp.105-110.
  79. Fumiko Nagoya, Yuting Chen, Shaoying Liu, ``An Empirical Study on a Specification-Based Program Review Approach’’, Proceedings of 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), IEEE Computer Society Press, Szklarska Poreba, Poland,  May 24-28, 2006, pp. 199-206.
  80. 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.
  81. 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.
  82. 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, Scotland, July 25-28,2005 IEEE Computer Society Press, pp. 375-380.
  83. 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.
  84. 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.
  85. 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
  86. 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.
  87. 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.
  88. Yuting Chen and Shaoying Liu: “An Approach to Detecting Domain Errors Using Formal Specification-Based Testing”, The 11th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Nov. 30 – Dec. 3, 2004, pp. 276-283.
  89. 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.
  90. 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.
  91. Yuting Chen and Shaoying Liu, “Rigorous Review for Developing Reliable Software in Industry”, In Lei Li and Kang K. Yen, editors, Proceedings of 3rd International Conference on Information, International Information Institute, Tokyo, Japan, 2004, pp. 557–560.
  92. 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.
  93. 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.
  94. 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.
  95. 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.
  96. 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.
  97. 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.
  98. 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, December 2-4, 2002.
  99. 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, Hammamet, Tunisia, October 6-9, 2002.
  100. 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.
  101. 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
  102. 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
  103. 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.
  104. 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.
  105. 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.
  106. 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.
  107. 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.
  108. 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 Computer Systems, IEEE Computer Society Press, Tokyo, Japan, September 11-14, 2000, pp. 61-71.
  109. 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.
  110. 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.
  111. 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.
  112. 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.
  113. 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.
  114. 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.
  115. 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.
  116. 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.
  117. 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.
  118. 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.
  119. 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.
  120. 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.
  121. 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.
  122. 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.
  123. Jian Chen and Shaoying Liu, “An Approach to Testing Object-Oriented Formal Specifications”, Proceedings of TOOLS Pacific 96, Melbourne, Australia, TOOLS/ISE, November 25-28, 1996, pp. 225-238.
  124. 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.
  125. 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.
  126. 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.
  127. 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.
  128. 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.
  129. 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.
  130. 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.
  131. 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.
  132. 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.
  133. 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.
  134. 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.
  135. 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.