| 2026 | TASE | Automated Trace Link Recovery Between Natural Language Requirements and Formal Specifications via LLMs. | Jiandong Li, Shaoying Liu |
| 2026 | TASE | Formal Specification-Based Code Review via LLMs. | Jiandong Li, Shaoying Liu |
| 2025 | ISSRE | Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. | Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang |
| 2025 | ISSTA | TBFV4J: An Automated Testing-Based Formal Verification Tool for Java. | Ai Liu, Yang Liu, Shaoying Liu |
| 2025 | TASE | Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. | Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang |
| 2024 | ICFEM | LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. | Yuxiang Shang, Shaoying Liu |
| 2023 | ICA3PP | GDTM: Gaussian Differential Trust Mechanism for Optimal Recommender System. | Lixiao Gong, Guangquan Xu, Jingyi Cui, Xiao Wang, Shihui Fu, Xi Zheng, Shaoying Liu |
| 2023 | ICECCS | Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. | Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu |
| 2023 | ICECCS | Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. | Pingyan Wang, Shaoying Liu |
| 2022 | QRS | Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. | Jiandong Li, Shaoying Liu |
| 2022 | QRS | Detecting Security Vulnerabilities with Vulnerability Nets. | Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang |
| 2021 | QRS | Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection. | Yujun Dai, Shaoying Liu |
| 2021 | QRS | EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. | Dingbang Fang, Shaoying Liu, Ai Liu |
| 2021 | QRS | Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures. | Jiandong Li, Shaoying Liu, Ai Liu, Runhe Huang |
| 2021 | QRS | A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis. | Kenya Saiki, Shaoying Liu, Hiroyuki Okamura, Tadashi Dohi |
| 2020 | ICECCS | A Fault Localization Approach Derived From Testing-based Formal Verification. | Rong Wang, Shaoying Liu, Yuji Sato |
| 2020 | QRS | Range Partition Testing: Principle and Technique. | Shaoying Liu |
| 2019 | CEC | Specification-based Test Case Generation with Genetic Algorithm. | Rong Wang, Yuji Sato, Shaoying Liu |
| 2019 | QRS | Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. | Rong Wang, Shaoying Liu |
| 2018 | ICSE | An efficient approach for verifying automobile distributed application systems on timing property. | Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu |
| 2018 | QRS | TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. | Rong Wang, Shaoying Liu |
| 2017 | ICCSA | A Comparative Study of a GUI-Aided Formal Specification Construction Approach. | Fumiko Nagoya, Shaoying Liu |
| 2017 | QRS | Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications. | Busalire Onesmus Emeka, Shaoying Liu |
| 2016 | ICSE | Validating formal specifications using testing-based specification animation. | Shaoying Liu |
| 2016 | QRS | A Tool Supported Testing Method for Reducing Cost and Improving Quality. | Shaoying Liu |
| 2016 | TAP | Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. | Shaoying Liu |
| 2015 | APSEC | Automatic Selection of System Functional Scenarios for Formal Specification Animation. | Shaoying Liu |
| 2015 | APSEC | PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation. | Fauziah binti Zainuddin, Shaoying Liu |
| 2015 | ICFEM | Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. | Shaoying Liu, Xi Wang, Weikai Miao |
| 2015 | TASE | A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. | Weikai Miao, Xi Wang, Shaoying Liu |
| 2014 | APSEC | Reviewing Formal Specification for Validation Using Animation and Trace Links. | Mo Li, Shaoying Liu |
| 2013 | SNPD | Guided Requirements Clarification for Automatic Formalization. | Xi Wang, Shaoying Liu |
| 2012 | APSEC | Automated Functional Scenarios-Based Formal Specification Animation. | Mo Li, Shaoying Liu |
| 2012 | APSEC | An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. | Fauziah binti Zainuddin, Shaoying Liu |
| 2011 | APSCC | A Formal Specification-Based Testing Approach to Accurate Web Service Selection. | Weikai Miao, Shaoying Liu |
| 2011 | APSEC | A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. | Shaoying Liu, Shin Nakajima |
| 2011 | ICFEM | Integrating Prototyping into the SOFL Three-Step Modeling Approach. | Fauziah binti Zainuddin, Shaoying Liu |
| 2011 | ICSE | A framework for automatic functional testing based on formal specifications. | Shaoying Liu, Shin Nakajima |
| 2011 | ICST | Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. | Cong Tian, Shaoying Liu, Shin Nakajima |
| 2011 | TASE | Automatic Specification-Based Testing: Challenges and Possibilities. | Shaoying Liu |
| 2010 | ICFEM | A Pattern System to Support Refining Informal Ideas into Formal Expressions. | Xi Wang, Shaoying Liu, Huaikou Miao |
| 2010 | SoMeT | Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. | Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima |
| 2009 | APSCC | Service-oriented modeling using the SOFL formal engineering method. | Weikai Miao, Shaoying Liu |
| 2009 | SAC | An approach to detection of UML-based ownership violation. | Hector Miguel Chavez, Wuwei Shen, Shaoying Liu |
| 2009 | SAC | Integration of formal specification, review, and testing for software component quality assurance. | Shaoying Liu, Tetsuo Tamai, Shin Nakajima |
| 2007 | APSEC | Developing an Insulin Pump System Using the SOFL Method. | Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou |
| 2007 | ICFEM | Integrating Specification-Based Review and Testing for Detecting Errors in Programs. | Shaoying Liu |
| 2006 | DEPCoS | An Empirical Study on a Specification-Based Program Review Approach. | Fumiko Nagoya, Yuting Chen, Shaoying Liu |
| 2006 | ICECCS | A Tool-Supported Review Approach to Detecting Structural Consistency Violations. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2005 | COMPSAC | A Tool and Case Study for Specification-Based Program Review. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2005 | ICECCS | A Framework for SOFL-Based Program Review. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2005 | ICECCS | Design of a Tool for Specification-Based Program Review. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2005 | ICFEM | An Automated Approach to Specification-Based Program Inspection. | Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid |
| 2004 | APSEC | An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. | Yuting Chen, Shaoying Liu |
| 2004 | ATVA | An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. | Shaoying Liu |
| 2004 | ICECCS | An Investigation of the Approach to Specification-Based Program Review through Case Studies. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2004 | ICFEM | Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. | Shaoying Liu |
| 2004 | ICTAC | An Approach to Integration Testing Based on Data Flow Specifications. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2003 | AINA | Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. | Shaoying Liu |
| 2003 | APSEC | Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. | Shaoying Liu |
| 2003 | ICFEM | Formalization, Testing and Execution of a Use Case Diagram. | Wuwei Shen, Shaoying Liu |
| 2002 | COMPSAC | The Semantics of Extended SOFL. | Jin Song Dong, Shaoying Liu |
| 2002 | CW | A Simulation Approach to Verification and Validation of Formal Specifications. | Shaoying Liu |
| 2002 | ICECCS | Capturing Complete and Accurate Requirements by Refinemen. | Shaoying Liu |
| 2002 | ICFEM | Developing Quality Software Systems Using the SOFL Formal Engineering Method. | Shaoying Liu |
| 2002 | SMC | Extending SOFL to support both top-down and bottom-up approaches. | Shaoying Liu, Jin Song Dong |
| 2000 | APSEC | A GUI and testing tool for SOFL. | Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto |
| 2000 | ICECCS | Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. | Hassan Gomaa, Shaoying Liu, Michael E. Shin |
| 1999 | APSEC | Applying SOFL to Develop a University Information System. | Shaoying Liu, Masaomi Shibata, Ryuichi Sato |
| 1999 | FM | Verifying Consistency and Validity of Formal Specifications by Testing. | Shaoying Liu |
| 1999 | ICECCS | Criteria for Generating Specification-Based Tests. | A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu |
| 1999 | IFM | An Object Semantic Model of SOFL. | Jin Song Dong, Shaoying Liu |
| 1998 | ICECCS | An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura |
| 1998 | ICFEM | Interacting Frameworks in Catalysis. | Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
| 1997 | APSEC | A Formal Operational Semantics for SOFL. | Chris Ho-Stuart, Shaoying Liu |
| 1997 | FORTE | Self-independent Petri Nets for Distributed Systems. | Yong Sun, Shaoying Liu, Mitsuru Ohba |
| 1997 | ICECCS | Evolution: A More Practical Approach than Refinement for Software Development. | Shaoying Liu |
| 1997 | RE | SOFL: A Formal Engineering Methodology for Industrial Applications. | Shaoying Liu |
| 1996 | APSEC | A Case Study Using SAM - Safety Analysis of PES. | John A. McDermid, Shaoying Liu |
| 1996 | ICECCS | Semi-automatic Transformation from Formal Specifications to Programs. | Shaoying Liu, Chris Ho-Stuart |
| 1995 | APSEC | Limitations of Formal Methods and an Approach to Improvement. | Shaoying Liu, Rolf Adams |
| 1995 | ICECCS | Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. | Shaoying Liu, Yong Sun |
| 1993 | SAC | Dynamic Sets and Their Application in VDM. | Shaoying Liu, John A. McDermid |
| 1992 | SAC | A formal structured method for requirement specification construction. | Shaoying Liu |