• broken image

    News

  • Events

    Organized conferences in recent years

    broken image

    ICFEM 2016: 14-18 Nov 2016, Tokyo, Japan

    broken image

    ICFEM 2017: 13-17 Nov 2017, Xi'an, China

    broken image

    ICFEM 2018: 12-16 Nov 2018, Gold Coast, Australia

    broken image

    ICFEM 2019: 5-9 Nov 2019, Shenzhen, China

  • Bio & Contact

    Shaoying Liu is Professor of Software Engineering at Hiroshima University, Japan.

    broken image

    Contact Information

    Graduate School of Advanced Science and Engineering

    School of Informatics and Data Science

    Hiroshima University
    1-3-2 Kagamiyama, Higashi-Hiroshima City

    Hiroshima, 739-8511

    Japan
    Tel: +81-82-424-7706
    Email: sliu AT hiroshima-u DOT ac DOT jp

    broken image

    Bio

    Shaoying Liu holds a B.Sc and a M.Sc degree in Computer Science from Xi'an Jiaotong University, China, and the Ph.D in Computer Science from the University of Manchester, U.K. He worked as Assistant Lecturer and then Lecturer at Xi'an Jiaotong University, Research Associate at the University of York, and Research Assistant in the Royal Holloway and Bedford New College at the University of London, respectively, in the period of 1982 -1994. He joined the Department of Computer Science at Hiroshima City University as Associate Professor in April 1994, and the Department of Computer Science in the Faculty of Computer and Information Sciences at Hosei University in April 2000. In April 2001 he was promoted to a Professor. From 1st April 2020, he has been working at Hiroshima University as a Professor. He was invited as a Visiting Research Fellow to The Queen's University of Belfast from December 1994 to February 1995, a Visiting Professor to the Computing Laboratory at the University of Oxford from December 1998 to February 1999, and a Visiting Professor to the Department of Computer Science at the University of York from April 2005 to March 2006. From 2003 he is also invited as an Adjunct Professor to Shanghai Jiaotong University, Xi'an Jiaotong University, Xidian University, and a Visiting Professor to Shanghai University, Xi'an Polytechnic University, Bejing Jiaotong University, and Beijing University in China, respectively. He is IEEE Fellow, British Computer Society (BCS) Fellow, and member of Japan Society for Software Science and Technology.

  • Publications (selected)

    broken image

    Authored Book

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

    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 Duan,Cong 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.

    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.

    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.

    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).

    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.

    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.

  • Research Interests

    Formal Engineering Methods for Software Development and Quality Assurance

    Formal Engineering Methods (FEM) is a bridge between formal methods and their applications in software engineering. They form an area of research on how formal methods can be effectively integrated into practical software engineering technologies and process models to enhance the rigour of commonly used development methods, the comprehensibility of documentation for communication, and the tool supportability for software productivity and quality. Liu's particular interests are on the SOFL specification language, method, and supporting environment. SOFL, standing for Structured Object-Oriented Formal Language, has been developed by Liu based on his Ph.,D research at the University of Manchester, U.K. during 1989 - 1992, in collaboration with excellent researchers from USA, UK, Australia, Singapore, and Japan on several projects funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan during the period of 1996 - 2001.

     

    As a language, SOFL results from the integration of Data Flow Diagrams, Petri Nets, and VDM-SL. Data Flow Diagrams are an intuitive notation for expressing the dependency relationship between processes (operations) and the overall architecture of a system; Petri Nets are used to provide an operational semantics for the Data Flow Diagrams; and VDM-SL, with certain syntactical revision and extension, is employed to specify the behaviour of processes occurring in the related formalized Data Flow Diagrams. To achieve information hiding, specification re-usability, and polymorphism in the detailed design, classes are used to model modules, data flows, data stores, and composite data types. As a method, SOFL emphasizes a three-step specification approach, i.e., informal, semi-formal, and formal specifications, for requirements analysis and system design, and the rigorous reviews, inspection, and testing as techniques for verifying and validating specifications and programs.

     

    In particular, we have developed the SOFL formal engineering method further to achieve the effect of Agile development paradigm by effectively integrating SOFL with Agile development principles. As a result of this research, we have established the Agile SOFL Formal Engineering Method, known as Agile-SOFL, which can be used to significantly enhance both the productivity and reliability in the industry. Agile-SOFL is characterized by a three-step hybrid specification approach, specification animation, specification-based programming, and specification-based testing and inspection.

    Intelligent Software Engineering Environments (ISEE)

    Liu believes that the radical solution to the problem of the software crisis is to provide a software engineering environment that takes care of all the process management and control issues, and guides developers intelligently to develop their systems step by step. Within such an environment, developers are efficiently supported to concentrate only on the tasks which the computer cannot perform at all. Such an environment should also be able to learn from previous experience in building similar systems and to make use of the existing knowledge from previous experience in the development of new systems. In the exciting internet era, more and more software systems are developed by a team or teams, possibly located in several different places in the world, supporting distributed software engineering over the internet becomes more and more important and necessary. Liu's other research interest is to develop internet-based intelligent software engineering environments for distributed software engineering based on service-oriented computing.

    Dependable Systems

    Dependable systems must have high reliability, availability, safety, security, and maintainability. Such systems have become more and more involved in our daily life and their failures are likely to cause catastrophic damages to human life, important properties, or high cost of the system providers. Railway control systems, aeroplane control systems, nuclear plant control systems, intelligent transport systems (ITS), and banking systems are typical examples of dependable systems. Liu's interest in this area is to develop theories, methods, and software tools to support the application of formal engineering methods, in particular SOFL, to the development of dependable systems, including Cyber-Physical Systems, ITS, Financial Systems, Medicare Systems, and Information Systems.

  • SOFL

    SOFL = Specification Language + Method + Software Process Model

    Introductions

    SOFL offers a specification language, method, and systematic process model for the development of software systems.

    As a language, SOFL is an integration of Data Flow Diagrams, Petri Nets, and VDM-SL. Data Flow Diagram provides an intuitive notation for expressing the dependency relationship between processes and the overall architecture of a system; Petri Nets are used to provide an operational semantics for the Data Flow Diagrams; and VDM-SL with certain syntactical revision and extension is employed to specify the behaviour of the processes occurring in the related formalized Data Flow Diagrams. To achieve information hiding, specification reusability, and polymorphism in the detailed design, classes are used to model modules, data stores, and composite data types.

    As a method, SOFL emphasizes the three-step specification approach, i.e., informal, semi-formal, and formal specifications, to constructing system specifications in a structured manner (including requirements, and abstract design specifications) and transformation from a structured abstract design into an object-oriented detailed design and then implementation (program). Furthermore, it also offers effective and systematic rigorous review and testing techniques for verifying and validating specifications and programs.

    SOFL also provides a software process model that supports a systematic way to develop large-scale and complex systems. The major features of the process model include three: (1) using informal and semi-formal specifications for user requirements, while adopting formal specification for abstract design; (2) emphasizing evolution for the development of informal, semi-formal, and formal abstract design specifications, and refinement for the development of detailed design and implementation; and (3) employing rigorous review and testing to verify and validate specifications and programs.

  • Major Funded Research Projects

     

    1. “Research on Highly Reliable Agile Formal Engineering Methods”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Scientific Research A (No. 26240008) (period: April 2014 – March 2019, 5 years).
    2. “Research on a Practical Formal Engineering Method and Its Supporting Tool”, funded by IPA SEC, Japan (2012.5 – 2013.3).
    3. “Research on Techniques for Detecting Program Errors Based on Formal Specifications”, funded by NII (period: April 2011 – March 2014).
    4. “Research on Automatic Detection of Errors for Information Communication Systems Development”, funded by SCAT foundation, Japan (period: April 2012 – March 2015).
    5. “Research on Verification Technology for Software Requirements Specification”, supported by Okawa Foundation Research Grant, Japan (period: March 9, 2011 – March 8, 2012)
    6. “Research on Formal Engineering Methods for Service-Oriented Software Development”, funded by Hosei University (period: May 2011 – March 2012).
    7. "Research on Specification-Based Automatic Testing Techniques’’, funded by NII (period: April 2008 – March 2011).
    8. "Research on Application of Formal Methods’’, funded by The Nippon Signal Co. Ltd. (period: April 2007 ~ March 2010)
    9. "Research on Specification-Based Testing Techniques”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Scientific Research (No. 18500027) (period: April 2006 – March 2008, 2 years).
    10. "Research On Automation of Rigorous Reviews of Formal Specifications and Programs”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Scientific Research on Priority Areas (No. 16016279) (period: April 2002 – March 2004, 3 years).
    11. "Formal Engineering Methods for Software Development”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Basic Research (B) (period: April 1999 – March 2002, 3 years, involving 10 investigators).
    12. "Verification Technology for Formal Specifications and Designs of Software Systems”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Basic Research (C) (period: April 1999 – March 2002, 3 years).
    13. "Formal Evolution for Software Development”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Scientific Research on Priority Areas (period: April 1998 – March 2000, 3 years).
    14. "FM-ISEE: Formal Methods and Intelligent Software Engineering Environment”, KAKENHI Project, funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for International Joint Research (period: April 1996 – March 1998, 2 years, involved 11 investigators).
    15. "Application of Formal Methods to Railway Control Systems”, funded by Mitsubishi Electric Research Institute, Osaka, Japan (period: April 1997 – March 1999, 2 years, involved 4 investigators).
    16. "Formal Evolution Approach to Software Development”, funded by Hiroshima City University under Grant-in-Aid for Scientific Research on Priority Areas (period: April 1998 – March 1999, 1 year).
    17. "SCSーFM:Formal Methods for Safety-Critical Systems Design”, funded by Hiroshima City University under Grant-in-Aid for Scientific Research on Priority Areas (period: April 1996 – March 1998, 2 years, involved 4 investigators).
    18. "Automatic Transformation from Formal Specifications to Programs’’, funded by Hiroshima City University under Grant-in-Aid for Scientific Research on Priority Areas (period: April 1995 – March 1996, 1 year).
  • Professional Activities

    Associate Editor for Journals

    • IEEE Transactions on Reliability (since 2017)
    • Journal of Testing, Verification and Reliability (STVR) (2017 ~ 2019)
    • ISRN Software Engineering Journal​ (2011 ~ 2014)
    • Information - An International Journal, International Information Institute (1998 ~ 2003)

    Steering or Advisory Committees

    • Chair of the Steering Committee for ICECCS conferences (since 2019.12)
    • Chair of the Steering Committee for ICFEM conferences (2009 ~ 2015)
    • On the Advisory Committees for ICTAC conferences (2004 ~ 2010)
    • On the Steering Committees for ICECCS conferences (since 1998)
    • On the Steering Committees of ICFEM conferences (since 1997)

    General Chair

    • ICFEM 2017, Xi’an, China (2017.11)
    • ICFEM 2016, Tokyo, Japan (2016.11)
    • SOFL+MSVL 2016, Tokyo, Japan (2016.11)
    • ICFEM 2012, Kyoto, Japan (2012.11)
    • ICECCS2002, USA​ (2002.12)
    • ICFEM97 (founder), Hiroshima, Japan (1997.11)

    PC Chair

    • SOFL+MSVL 2015, Paris, France
    • SOFL+MSVL 2014, Luxembourg
    • SOFL+MSVL 2013, Queenstown, New Zealand
    • SOFL 2012, Kyoto, Japan
    • ICFEM 2008, Kitakyushu, Japan
    • ICECCS 2005, Shanghai, China
    • ICFEM 2000, York, UK
    • ICECCS 2000, Tokyo, Japan
    • ICECCS'99, Las Vegas, USA
    • ICFEM'98, Queensland, Australia

    PC Member

    SETTA 2016, TAP 2016, TASE 2016, ICFEM 2015, TASE 2015, FM 2015, SETTA 2015, ICSE 2015 posters, APSEC 2014, SEKE 2014, iFM 2014, ICFEM 2014, TASE 2014, ICFEM 2013, APSEC 2013, AST 2013, iFM2013, AST 2012, FormSERA, 2012, ICST 2012, SAC 2012, TASE 2012, SS 2012, ICFEM 2011, ICST 2011, QSIC 2011, SoMet 2011, SS 2011,TASE 2011, FM99, FM03, FM05, APAQS00, APSEC00, IFM 00, IFM05, ICFEM05, ATVA05, ATVA06, WIFT’98, ISPSE 2000, ACM SAC 2010, AST 2010, COMPSAC 2010 (Track Co-Chair), QSIC 2010, SSIRI 2010, TASE 2010, ACM SAC 2009, AST 2009, ATVA 2009, AWFS 2009, ICFEM2009, ICIS 2009, ICTAC 2009, QSIC 2009, SS2009, SSIRI 2009, TASE2009, AST 2008, ATVA 2008, HASE 2008, ICECCS 2008, ICFEM 2008, QSIC 2008, SSIRI 2008, TASE 2008. (and many other conferences)

     

  • Current/Future Research Directions

    1. Software Error Prevention by Formal Specification and Animation

    How to prevent critical and directional software errors in the phase of requirements analysis still remains a challenge for software engineering. In this research, we aim to work out a systematic and effective way to carry out requirements analysis and to prevent requirements errors by means of constructing formal specifications and carrying out specification animation. Since most critical and directional software errors often come from the inconsistency and incompleteness of requirements, the essential problem to address is how to write specifications and carry out their animation so that all the potential user requirements can be discovered and documented consistently, and how such a process can be effectively supported.

     

    This research can be expanded further to software design and implementation phases for fault prevention all the way in the software development process. But since faults to be prevented in each phase of the development process have a different nature, the theory, methods, and tool supporting techniques should be different.

    2. Automatic Testing-Based Formal Verification

    Formal verification for the correctness of programs based on Hoare logic or symbolic execution has the potential to prove that the program is bug-free with respect to its specification but suffers considerable limitations in dealing with loops, side effect, function calls, and complex data structures. Formal specification-based testing can be utilized to automatically identify bugs in programs but lacks the capability of telling that the program is bug-free in general. In this research, we aim to properly integrate specification-based testing and Hoare logic and symbolic execution to establish a unified approach to formal verification of programs. The essential idea is to use testing to identify program paths and use formal verification to prove the correctness of the identified paths. To this end, a proof obligation will be automatically formed based both on the specification and the path, and then either a formal proof or rigorous testing will be deployed to discharge the proof obligation. How to automatically generate adequate test cases and how to automatically identify program paths are the key topics for research in this direction. Further development of this research will include automatic debugging and automatic error correction as well as intelligent software tool support for the technologies.

    3. Human-Machine Pair Programming (HMPP)

    Programming is the major activity to provide working software advocated in the Agile development paradigm but lacks effective techniques to address the challenges in ensuring software quality, productivity, and maintainability. In this research, we aim to establish an intelligent Human-Machine Pair Programming (HMPP) technology to support efficient and reliable programming.

     

    HMPP is characterized by the feature that humans create algorithms, data structures, and the architecture of the program whereas the machine takes care of checking the program under construction to identify potential software defects or violation of standards in the program and to predict useful program segments for enhancing the robustness and the completeness of the program. This approach includes Software Construction Monitoring (SCM) and Software Construction Predicting (SCP) as its two key techniques, both of which need to integrate the AI knowledge base and machine learning technologies into the technologies for programming. The essential problem is how to carry out SCM and SCP so that the final program can be efficiently produced and its qualities are guaranteed.

     

    To help enhance the maintainability of the program, automatic reversing from the current program version to comprehensible graphical documentation, such as data flow diagrams or UML diagrams, also needs to be supported and the necessary technology needs to be worked out as well.

     

    Another research topic is how to support the iterative programming in which the programmer concentrates on constructing new program code while the machine dynamically and effectively guides the programmer to review the appropriate parts of the already constructed code to identify and correct potential bugs. The challenge is how the programmer can be guided to choose the appropriate target parts of the code to review, to identify bugs, and to correct the uncovered bugs.

    4. Specification-Based "Vibration" Testing

    Specification-based testing is a black-box testing for programs and can be fully automated if the specification is formalized in a formal notation. It is characterized by the fact that test cases are generated only based on the specification, without the need to know the structure of the corresponding program. However, the challenge is how test cases can be generated to efficiently cover all of the representative program paths. In this research, we aim to establish a systematic method, called "Vibration" Testing or simply V-Testing, based on formal specifications. The essential idea is to repeatedly generate test cases based on the change of the distance between two atomic predicates in the hope of increasing the program path coverage. The problems to address include how the distance change should be planned and how specific test cases can be automatically generated based on the changed distance. An effective tool support for the V-Testing method is also the focus of the research. The V-Testing can be used effectively to test programs whose source code is not available for the tester. Another topic of this research is how to automatically predict the reliability of the program using the V-Testing.

     

    This research can be integrated with data-oriented test case generation technologies to develop effective technologies for verification and validation of AI systems.

    5. Human-Machine Pair Review (HMPR)

    Program review is a conventional but effective technique for software quality assurance. In particular, peer review is strongly advocated. However, peer review faces a critical limitation that the peer usually faces great difficulty in understanding the semantics of the program and in making a correct judgement on software defects. In this research, we try to establish en effective technology including both a method and tool to support program review by the programmer himself or herself. The essential issue is how the machine can effectively remind and even guide the programmer to efficiently review the program and to identify bugs. This approach can also be extended to review specifications, designs, and testing documents as well.

    6. Intelligent Software Engineering Environment for Agile-SOFL

    Agile-SOFL is an Agile Formal Engineering Method for software development, aiming to achieve both high software productivity and reliability. It offers a three-step hybrid specification approach, specification-based human-machine pair programming, and automatic specification-based testing and verification techniques. In this research, we try to utilize AI knowledge base and machine learning technologies to support the entire process of software development using the above techniques in a systematic manner. The ISEE can be divided into Method-Based ISEE, Domain-Based ISEE, and Method-Domain-Based ISEE, depending on how the required knowledge is learned and what specific activities need to be supported.

    7. Safety/Security-Critical Systems Specification and Verification

    Safety/Security-critical systems are required to ensure both the desired functionality and the safety/security constraints are satisfied by the final software product. To fulfil this goal, Agile-SOFL, characterized by specification-based programming and verification and validation, is regarded as an effective and efficient technology. In this research, we aim to establish a specific specification approach that properly interweaves the functional specification with the safety/security constraints. The functional specification can be written in the functional scenario manner while the safety/security requirements or constraints can be derived by means of fault tree analysis or attacking tree analysis. The questions are how to systematically incorporate the safety/security constraints into the functional specification for programming and how to test and verify the safety/security properties of the program based on the specification. We will also study how this technology can be effectively applied to develop ITS (Intelligent Transport Systems, including automatic railway systems and automatic automobile driving systems) and other safety/security-critical systems.

  • Teaching

    Responsible courses present and past

    Information Science Special Course

    Graduate course

    Graduate course

    Program Design (p)

    Undergraduate course

    Undergraduate course

    Introduction to Information Science (p)

    Undergraduate course

  • Students

    Present and former postgraduate students

    Ph.D students

    • Rong Wang (Joint supervision with Prof. Yuji Sato at Hosei Univeristy)
    • Busalire Onesmus Emeka (Joint supervision with Prof. Soichiro Hidaka at Hosei University)
    • 11 new students are going to join the list from Oct. 1st, 2020

    M.Sc students

    • Kentai Sukai (joint supervision with Prof. Hiroshi Hosobe at Hosei University)
    • Hongning Miao
    • Runzhou Yang

    Former Ph.D and M.Sc students​

    • Dr.Yuting Chen, Software School, Shanghai Jiaotong University, China
    • Dr. Fumiko Nagoya, College of Commerce, Nihon university, Tokyo, Japan
    • Dr. Weikai Miao, Software School, East China Normal University, Shanghai, China
    • Dr. Xi Wang, School of Computer Science and Engineering, Shanghai University, China
    • Dr. Mo Li, Zhongxin Bank, Shanghai, China
    • Abdul Rahman Mat
    • Azma Abdullah
    • Fauziah Zainuddin
    • Nobuhiko Kawasaki
    • Takeshi Shimizu
    • Koichiro Kimura 
    • Weichen Cai
    • Cencen Li
    • Ji Li
    • Weihang Zhang
    • Jinghua Zhang
    • Shenghua Zhu
    • Ye Yan
    • Sushan Fu
    • Siyuan Li
    • Shun Iketani
    • Bing Liang
    • Xiongwen Luo
    • Yufei Yin
    • Shingo Fukuoka
    • Hayato Ikeda
    • Yu Chen
    • Pan Zhao
    • Yuya Suzuki
    • Takumi Amitani
    • Shiori Araki
    • Qin Xu
    • Kentai Sukai

    Visiting research fellows and students

    • Dr. Cong Tian, Hosei University HIF fellow, Xidian University, Xi'an, China (2010~2011)
    • Dr. Richard Lai, JSPS Fellow, La Trobe University, Melbourne, Australia (2010~2011)
    • Fadhilah Rosdi, Visiting Researcher, University of Malaya, Malaysia (2011)
    • Toshinori Hayashi, Nippon Signal Co. Ltd., Japan (2008~2009)
    • Arraud Fleurentdidier Messaoudi (Exchange student from France, 2008~2009)
    • Gregoire Delannoy (Exchange student from France, 2008~2009)
  • Call for Students

    We are calling students with a Master degree in Computer Science in the world to join our research group to study for a doctoral degree in Computer Science. Each student can choose to work on one of the following research areas:

    • Automatic Software Error Prevention 
    • Automatic Testing-Based Formal Verification for Software Systems
    • Human-Machine Pair Development for High Productivity and Qualities
    • Automatic Specification-Based "Vibration" Testing for Software Systems
    • Human-Machine Pair Review for Software Quality Assurance
    • Safety/Security-Critical Systems Specification and Verification
    • AI Supporting Tools for Agile-SOFL
    • Testing and Verification of AI Systems