A user-friendly formal requirements specification method. - Shaoying Liu (ACM Southeast Regional Conference, 1992)

A formal structured method for requirement specification construction. - Shaoying Liu (SAC, 1992)

Dynamic Sets and Their Application in VDM. - Shaoying Liu; John A. McDermid (SAC, 1993)

An Abstract Programming Language and Correctness Proofs. - Shaoying Liu (Comput. Lang., 1993)

A formal requirements specification method based on data flow analysis. - Shaoying Liu (J. Syst. Softw., 1993)

Limitations of Formal Methods and an Approach to Improvement. - Shaoying Liu; Rolf Adams (APSEC, 1995)

Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. - Shaoying Liu; Yong Sun (ICECCS, 1995)

Internal consistency of FRSM specifications. - Shaoying Liu (J. Syst. Softw., 1995)

The practice of formal methods in safety-critical systems. - Shaoying Liu; Victoria Stavridou; Bruno Dutertre (J. Syst. Softw., 1995)

A Case Study Using SAM - Safety Analysis of PES. - John A. McDermid; Shaoying Liu (APSEC, 1996)

Semi-automatic Transformation from Formal Specifications to Programs. - Shaoying Liu; Chris Ho-Stuart (ICECCS, 1996)

A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. - Shaoying Liu; John A. McDermid (J. Syst. Softw., 1996)

A Formal Operational Semantics for SOFL. - Chris Ho-Stuart; Shaoying Liu (APSEC, 1997)

Self-independent Petri Nets for Distributed Systems. - Yong Sun; Shaoying Liu; Mitsuru Ohba (FORTE, 1997)

Evolution: A More Practical Approach than Refinement for Software Development. - Shaoying Liu (ICECCS, 1997)

SOFL: A Formal Engineering Methodology for Industrial Applications. - Shaoying Liu (RE, 1997)

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. - Shaoying Liu; Masashi Asuka; Kiyotoshi Komaya; Yasuaki Nakamura (ICECCS, 1998)

Interacting Frameworks in Catalysis. - Kung-Kiu Lau; Shaoying Liu; Mario Ornaghi; Alan Wills (ICFEM, 1998)

Applying SOFL to Specify A Railway Crossing Controller for Industry. - Shaoying Liu; Masashi Asuka; Kiyotoshi Komaya; Yasuaki Nakamura (WIFT, 1998)

A Formal Definition of FRSM and Applications. - Shaoying Liu (Int. J. Softw. Eng. Knowl. Eng., 1998)

SOFL: A Formal Engineering Methodology for Industrial Applications. - Shaoying Liu; A. Jefferson Offutt; Chris Ho-Stuart; Yong Sun; Mitsuru Ohba (IEEE Trans. Software Eng., 1998)

Applying SOFL to Develop a University Information System. - Shaoying Liu; Masaomi Shibata; Ryuichi Sato (APSEC, 1999)

Verifying Consistency and Validity of Formal Specifications by Testing. - Shaoying Liu (World Congress on Formal Methods, 1999)

Criteria for Generating Specification-Based Tests. - A. Jefferson Offutt; Yiwei Xiong; Shaoying Liu (ICECCS, 1999)

An Object Semantic Model of SOFL. - Jin Song Dong; Shaoying Liu (IFM, 1999)

Generating test data from SOFL specifications. - A. Jefferson Offutt; Shaoying Liu (J. Syst. Softw., 1999)

A GUI and testing tool for SOFL. - Shaoying Liu; Tetsuo Fukuzaki; Koji Miyamoto (APSEC, 2000)

Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. - Hassan Gomaa; Shaoying Liu; Michael E. Shin (ICECCS, 2000)

Class and Module in SOFL. - Shaoying Liu; Jin Song Dong (APAQS, 2001)

The Semantics of Extended SOFL. - Jin Song Dong; Shaoying Liu (COMPSAC, 2002)

A Simulation Approach to Verification and Validation of Formal Specifications. - Shaoying Liu (CW, 2002)

Capturing Complete and Accurate Requirements by Refinemen. - Shaoying Liu (ICECCS, 2002)

Developing Quality Software Systems Using the SOFL Formal Engineering Method. - Shaoying Liu (ICFEM, 2002)

Extending SOFL to support both top-down and bottom-up approaches. - Shaoying Liu; Jin Song Dong (SMC, 2002)

Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols. - Shaoying Liu (AINA, 2003)

Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. - Shaoying Liu (APSEC, 2003)

The Availability Semantics of Predicate Data Flow Diagram. - Xiaolei Gao; Huaikou Miao; Shaoying Liu; Ling Liu (GCC (2), 2003)

Formalization, Testing and Execution of a Use Case Diagram. - Wuwei Shen; Shaoying Liu (ICFEM, 2003)

A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. - Sirin Bekbay; Shaoying Liu (QSIC, 2003)

Generating test data from state-based specifications. - A. Jefferson Offutt; Shaoying Liu; Aynur Abdurazik; Paul Ammann (Softw. Test. Verification Reliab., 2003)

An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. - Yuting Chen 001; Shaoying Liu (APSEC, 2004)

An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. - Shaoying Liu (ATVA, 2004)

An Investigation of the Approach to Specification-Based Program Review through Case Studies. - Fumiko Nagoya; Shaoying Liu; Yuting Chen 001 (ICECCS, 2004)

Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. - Shaoying Liu (ICFEM, 2004)

An Approach to Integration Testing Based on Data Flow Specifications. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ICTAC, 2004)

A Review Approach to Detecting Structural Consistency Violations in Programs. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ACIS-ICIS, 2005)

A Tool and Case Study for Specification-Based Program Review. - Fumiko Nagoya; Shaoying Liu; Yuting Chen 001 (COMPSAC (1), 2005)

A Framework for SOFL-Based Program Review. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ICECCS, 2005)

Design of a Tool for Specification-Based Program Review. - Fumiko Nagoya; Shaoying Liu; Yuting Chen 001 (ICECCS, 2005)

An Automated Approach to Specification-Based Program Inspection. - Shaoying Liu; Fumiko Nagoya; Yuting Chen 001; Masashi Goya; John A. McDermid (ICFEM, 2005)

An Empirical Study on a Specification-Based Program Review Approach. - Fumiko Nagoya; Yuting Chen 001; Shaoying Liu (DepCoS-RELCOMEX, 2006)

A Tool-Supported Review Approach to Detecting Structural Consistency Violations. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ICECCS, 2006)

Developing an Insulin Pump System Using the SOFL Method. - Jichuan Wang; Shaoying Liu; Yong Qi; Di Hou (APSEC, 2007)

Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. - Shaoying Liu (HASE, 2007)

Integrating Specification-Based Review and Testing for Detecting Errors in Programs. - Shaoying Liu (ICFEM, 2007)

A Framework for Practical Specification-Based Testing. - Shaoying Liu (SETP, 2007)

An automated approach to specification animation for validation. - Shaoying Liu; Hao Wang (J. Syst. Softw., 2007)

A Method Combining Review and Testing for Verifying Software Systems. - Yuting Chen 001; Shaoying Liu; W. Eric Wong (BMEI (2), 2008)

Utilizing Formalization to Test Programs without Available Source Code (Short Paper). - Shaoying Liu (QSIC, 2008)

A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. - Yuting Chen 001; Shaoying Liu; W. Eric Wong (Int. J. Softw. Eng. Knowl. Eng., 2008)

A relation-based method combining functional and structural testing for test case generation. - Shaoying Liu; Yuting Chen 001 (J. Syst. Softw., 2008)

Service-oriented modeling using the SOFL formal engineering method. - Weikai Miao; Shaoying Liu (APSCC, 2009)

An approach to detection of UML-based ownership violation. - Hector Miguel Chavez; Wuwei Shen; Shaoying Liu (SAC, 2009)

Integration of formal specification, review, and testing for software component quality assurance. - Shaoying Liu; Tetsuo Tamai; Shin Nakajima 001 (SAC, 2009)

A delayed SEIQR epidemic model with pulse vaccination and the quarantine measure. - Yongzhen Pei; Shaoying Liu; Shujing Gao; Shuping Li; Changguo Li (Comput. Math. Appl., 2009)

Integrating top-down and scenario-based methods for constructing software specifications. - Shaoying Liu (Inf. Softw. Technol., 2009)

Complex Dynamics of an Impulsive Control System in which Predator Species Share a Common Prey. - Yongzhen Pei; Shaoying Liu; Changguo Li (J. Nonlinear Sci., 2009)

Teaching formal methods in the context of software engineering. - Shaoying Liu; Kazuhiro Takahashi; Toshinori Hayashi; Toshihiro Nakayama (ACM SIGCSE Bull., 2009)

A Pattern System to Support Refining Informal Ideas into Formal Expressions. - Xi Wang 017; Shaoying Liu; Huaikou Miao (ICFEM, 2010)

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. - Yuting Chen 001; Shaoying Liu; Linzhang Wang (QSIC, 2010)

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 001 (SoMeT, 2010)

A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. - Shaoying Liu; Shin Nakajima 001 (SSIRI, 2010)

An approach to applying SOFL for agile process and its application in developing a test support tool. - Shaoying Liu (Innov. Syst. Softw. Eng., 2010)

A Rigorous Method for Inspection of Model-Based Formal Specifications. - Shaoying Liu; John A. McDermid; Yuting Chen 001 (IEEE Trans. Reliab., 2010)

A Formal Specification-Based Testing Approach to Accurate Web Service Selection. - Weikai Miao; Shaoying Liu (APSCC, 2011)

A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. - Shaoying Liu; Shin Nakajima 001 (APSEC, 2011)

A Pattern-Based Approach to Formal Specification Construction. - Xi Wang 017; Shaoying Liu; Huaikou Miao (FGIT-ASEA/DRBC/EL, 2011)

Integrating Prototyping into the SOFL Three-Step Modeling Approach. - Fauziah binti Zainuddin; Shaoying Liu (ICFEM, 2011)

A framework for automatic functional testing based on formal specifications. - Shaoying Liu; Shin Nakajima 001 (AST, 2011)

Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. - Cong Tian; Shaoying Liu; Shin Nakajima 001 (ICST Workshops, 2011)

Automatic Specification-Based Testing: Challenges and Possibilities. - Shaoying Liu (TASE, 2011)

Pre-post notation is questionable in effectively specifying operations of object-oriented systems. - Shaoying Liu (Frontiers Comput. Sci. China, 2011)

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. - Shaoying Liu; Tetsuo Tamai; Shin Nakajima 001 (Int. J. Softw. Eng. Knowl. Eng., 2011)

A Study of When to Release a Software Product from the Perspective of Software Reliability Models. - Richard Lai 001; Mohit Garg 001; P. K. Kapur 001; Shaoying Liu (J. Softw., 2011)

RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). - Richard Lai 001; Sajjad Mahmood; Shaoying Liu (J. Softw., 2011)

Automated Functional Scenarios-Based Formal Specification Animation. - Mo Li 003; Shaoying Liu (APSEC, 2012)

An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. - Fauziah binti Zainuddin; Shaoying Liu (APSEC, 2012)

Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. - Shaoying Liu (Turing-100, 2012)

Design and Implementation of a Tool for Specifying Specification in SOFL. - Mo Li 003; Shaoying Liu (SOFL, 2012)

Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. - Cencen Li; Mo Li 003; Shaoying Liu; Shin Nakajima 001 (SOFL, 2012)

A Formal Specification-Based Integration Testing Approach. - Weikai Miao; Shaoying Liu (SOFL, 2012)

Abstract Model Checking with SOFL Hierarchy. - Cong Tian; Shaoying Liu; Zhenhua Duan (SOFL, 2012)

Development of a Supporting Tool for Formalizing Software Requirements. - Xi Wang 017; Shaoying Liu (SOFL, 2012)

Supporting Tool for Automatic Specification-Based Test Case Generation. - Weihang Zhang; Shaoying Liu (SOFL, 2012)

A formal approach to testing programs in practice. - Shaoying Liu; Wuwei Shen; Shin Nakajima 001 (Comput. Sci. Inf. Syst., 2012)

Formal engineering methods for software quality assurance. - Shaoying Liu (Frontiers Comput. Sci. China, 2012)

Formal Specification-Based Inspection for Verification of Programs. - Shaoying Liu; Yuting Chen 001; Fumiko Nagoya; John A. McDermid (IEEE Trans. Software Eng., 2012)

An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements. - Xi Wang 017; Shaoying Liu (ICIS, 2013)

Hazard analysis for safety-critical systems using SOFL. - Azma binti Abdullah; Shaoying Liu (CIES, 2013)

Guided Requirements Clarification for Automatic Formalization. - Xi Wang 017; Shaoying Liu (SNPD, 2013)

SOFL Specification Animation with Tool Support. - Mo Li 003; Shaoying Liu (SOFL+MSVL, 2013)

Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. - Shaoying Liu; Shin Nakajima 001 (SOFL+MSVL, 2013)

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. - Weikai Miao; Shaoying Liu (SOFL+MSVL, 2013)

Applying SOFL to Constructing a Smart Traffic Light Specification. - Wahyu Eko Sulistiono; Shaoying Liu (SOFL+MSVL, 2013)

An Approach to Declaring Data Types for Formal Specifications. - Xi Wang 017; Shaoying Liu (SOFL+MSVL, 2013)

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. - Shenghua Zhu; Shaoying Liu (SOFL+MSVL, 2013)

A Formal Engineering Framework for Service-Based Software Modeling. - Weikai Miao; Shaoying Liu (IEEE Trans. Serv. Comput., 2013)

Reviewing Formal Specification for Validation Using Animation and Trace Links. - Mo Li 003; Shaoying Liu (APSEC (1), 2014)

Extending Operation Semantics to Enhance the Applicability of Formal Refinement. - Shaoying Liu (Specification, Algebra, and Software, 2014)

Tool Support for Rigorous Formal Specification Inspection. - Mo Li 003; Shaoying Liu (CSE, 2014)

Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. - Mo Li 003; Shaoying Liu (SOFL+MSVL, 2014)

Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. - Jinghua Zhang; Shaoying Liu (SOFL+MSVL, 2014)

Traceability-Based Formal Specification Inspection. - Mo Li 003; Shaoying Liu (SERE, 2014)

Computer-Aided Formalization of Requirements Based on Patterns. - Xi Wang 017; Shaoying Liu (IEICE Trans. Inf. Syst., 2014)

Automatic Selection of System Functional Scenarios for Formal Specification Animation. - Shaoying Liu (APSEC, 2015)

PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation. - Fauziah binti Zainuddin; Shaoying Liu (APSEC, 2015)

Validating Timed Component Contracts. - Thibaut Le Guilly; Shaoying Liu; Petur Olsen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2015)

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. - Shaoying Liu; Xi Wang 017; Weikai Miao (ICFEM, 2015)

Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach. - Fumiko Nagoya; Shaoying Liu; Kyousuke Hamada (ICITCS, 2015)

Development of a web-based conference management system using SOFL. - Fumiko Nagoya; Shaoying Liu (RACS, 2015)

A GUI-Aided Approach to Formal Specification Construction. - Shaoying Liu (SOFL+MSVL, 2015)

Automatic Transformation from SOFL Module Specifications to Program Structures. - Xiongwen Luo 002; Shaoying Liu (SOFL+MSVL, 2015)

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. - Weikai Miao; Xi Wang 017; Shaoying Liu (TASE, 2015)

Validating formal specifications using testing-based specification animation. - Shaoying Liu (FormaliSE@ICSE, 2016)

A Tool Supported Testing Method for Reducing Cost and Improving Quality. - Shaoying Liu (QRS, 2016)

Applying SOFL to a Railway Interlocking System in Industry. - Juan Luo; Shaoying Liu; Yanqin Wang; Tingliang Zhou (SOFL+MSVL, 2016)

A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. - Fumiko Nagoya; Shaoying Liu (SOFL+MSVL, 2016)

Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. - Shaoying Liu (TAP@STAF, 2016)

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. - Mo Li 003; Shaoying Liu (IEEE Trans. Reliab., 2016)

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. - Shingo Fukuoka; Yixiang Chen 001; Shaoying Liu (GSKI (1), 2017)

A Comparative Study of a GUI-Aided Formal Specification Construction Approach. - Fumiko Nagoya; Shaoying Liu (ICCSA (1), 2017)

Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications. - Busalire Onesmus Emeka; Shaoying Liu (QRS, 2017)

A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. - Siyuan Li; Shaoying Liu (SOFL+MSVL, 2017)

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. - Fumiko Nagoya; Shaoying Liu (SOFL+MSVL, 2017)

A Software Tool to Support the "Vibration" Method. - Pan Zhao; Shaoying Liu (SOFL+MSVL, 2017)

Development of a Web Dictionary System Using SOFL. - Fumiko Nagoya; Shaoying Liu (Wirel. Pers. Commun., 2017)

An efficient approach for verifying automobile distributed application systems on timing property. - Haitao Zhang; Guoqiang Li 001; Xiaohong Li 001; Zhuo Cheng; Jinyun Xue; Shaoying Liu (ICSE (Companion Volume), 2018)

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. - Rong Wang 002; Shaoying Liu (QRS, 2018)

Software Construction Monitoring and Predicting for Human-Machine Pair Programming. - Shaoying Liu (SOFL+MSVL, 2018)

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. - Yufei Yin; Shaoying Liu; Yixiang Chen 001 (SOFL+MSVL, 2018)

autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. - Haitao Zhang; Zhuo Cheng; Guoqiang Li 001; Shaoying Liu (Sci. China Inf. Sci., 2018)

Specification-based Test Case Generation with Genetic Algorithm. - Rong Wang 002; Yuji Sato; Shaoying Liu (CEC, 2019)

Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution. - Rong Wang 002; Shaoying Liu (QRS Companion, 2019)

A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. - Busalire Onesmus Emeka; Shaoying Liu (SOFL+MSVL, 2019)

A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. - Xu Qin; Shaoying Liu; Tao Zhang 089 (SOFL+MSVL, 2019)

Defending Use-After-Free via Relationship Between Memory and Pointer. - Guangquan Xu; Miao Li; Xiaotong Li; Kai Chen 012; Ran Wang; Wei Wang 012; Kaitai Liang; Qiang Tang 005; Shaoying Liu (CollaborateCom (1), 2020)

A Fault Localization Approach Derived From Testing-based Formal Verification. - Rong Wang 002; Shaoying Liu; Yuji Sato (ICECCS, 2020)

Range Partition Testing: Principle and Technique. - Shaoying Liu (QRS Companion, 2020)

A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. - Busalire Onesmus Emeka; Soichiro Hidaka; Shaoying Liu (SOFL+MSVL, 2020)

BAGKD: A Batch Authentication and Group Key Distribution Protocol for VANETs. - Guangquan Xu; Xiaotong Li; Litao Jiao; Weizhe Wang; Ao Liu 005; Chunhua Su; Xi Zheng 001; Shaoying Liu; Xiaochun Cheng (IEEE Commun. Mag., 2020)

SMT-Based Theorem Verification for Testing-Based Formal Verification. - Kenta Sugai; Hiroshi Hosobe; Shaoying Liu (ICSCA, 2021)

Applying Cognitive Complexity to Checklist-Based Human-Machine Pair Inspection. - Yujun Dai; Shaoying Liu (QRS Companion, 2021)

EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction. - Dingbang Fang; Shaoying Liu; Ai Liu (QRS, 2021)

Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures. - Jiandong Li 003; Shaoying Liu; Ai Liu; Runhe Huang (QRS, 2021)

A Tool to Support Vibration Testing Method for Automatic Test Case Generation and Test Result Analysis. - Kenya Saiki; Shaoying Liu; Hiroyuki Okamura; Tadashi Dohi (QRS, 2021)

SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles. - Guangquan Xu; Yihua Liu; Jun Xing; Tao Luo 010; Yonghao Gu; Shaoying Liu; Xi Zheng 001; Athanasios V. Vasilakos (CoRR, 2021)

Testing Program Segments to Detect Software Faults during Programming. - Lei Rao; Shaoying Liu; Ai Liu (Int. J. Perform. Eng., 2021)

Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs. - Chunyan Ma; Shaoying Liu; Jinglan Fu; Tao Zhang 089 (Int. J. Softw. Eng. Knowl. Eng., 2021)

Rigorous code review by reverse engineering. - Shaoying Liu; Honghui Li; Zhouxian Jiang; Xiuru Li; Feng Liu; Yan Zhong (Inf. Softw. Technol., 2021)

A three-step hybrid specification approach to error prevention. - Shaoying Liu (J. Syst. Softw., 2021)

A formal specification animation method for operation validation. - Shaoying Liu; Weikai Miao (J. Syst. Softw., 2021)

Sparse Trust Data Mining. - Pengli Nie; Guangquan Xu; Litao Jiao; Shaoying Liu; Jian Liu 004; Weizhi Meng 001; Hongyue Wu; Meiqi Feng; Weizhe Wang; Zhengjun Jing; Xi Zheng 001 (IEEE Trans. Inf. Forensics Secur., 2021)

SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution. - Rong Wang 002; Shaoying Liu; Yuji Sato (IEEE Trans. Reliab., 2021)

Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning. - Qingying Liu; Tao Zhang 089; Jerry Gao 002; Shaoying Liu; Jing Cheng (AITest, 2022)

Automatic Localization of Potential Faults for Java Runtime Exceptions. - Hongning Miao; Shaoying Liu (DSA, 2022)

Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. - Jiandong Li 003; Shaoying Liu (QRS Companion, 2022)

Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. - Yang Li; Shaoying Liu (SOFL+MSVL, 2022)

Verifying and Improving Neural Networks Using Testing-Based Formal Verification. - Haiyi Liu; Shaoying Liu; Ai Liu; Dingbang Fang; Guangquan Xu (SOFL+MSVL, 2022)

Testing Program Segments to Detect Runtime Exceptions in Java. - Lei Rao; Shaoying Liu; Ai Liu (SOFL+MSVL, 2022)

TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning. - Haiyi Liu; Shaoying Liu; Chenglong Wen; W. Eric Wong (IEEE Access, 2022)

An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement. - Lei Rao; Shaoying Liu; Han Peng (IEEE Access, 2022)

DevFemOps: enhancing maintainability based on microservices using formal engineering methods. - Tetsuo Fukuzaki; Shaoying Liu; Michael Butler (Connect. Sci., 2022)

Mining Python fix patterns via analyzing fine-grained source code changes. - Yilin Yang; Tianxing He; Yang Feng 003; Shaoying Liu; Baowen Xu (Empir. Softw. Eng., 2022)

Knowledge Graph Construction for SOFL Formal Specifications. - Jiandong Li 003; Shaoying Liu; Ai Liu; Runhe Huang (Int. J. Softw. Eng. Knowl. Eng., 2022)

Probabilistic mediator: A coalgebraic perspective. - Ai Liu; Shaoying Liu; Meng Sun 002 (J. Log. Algebraic Methods Program., 2022)

SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles. - Guangquan Xu; Hongpeng Bai; Jun Xing; Tao Luo 010; Neal N. Xiong; Xiaochun Cheng; Shaoying Liu; James Xi Zheng (J. Parallel Distributed Comput., 2022)

CPFL: An Effective Secure Cognitive Personalized Federated Learning Mechanism for Industry 4.0. - Jinyan Wang; Guangquan Xu; Wenqing Lei; Lixiao Gong; Xi Zheng 001; Shaoying Liu (IEEE Trans. Ind. Informatics, 2022)

Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction. - Dingbang Fang; Shaoying Liu; Ai Liu (IEEE Trans. Reliab., 2022)

Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing. - Shaoying Liu; Shin Nakajima 001 (IEEE Trans. Software Eng., 2022)

Maintainability Assessment for SOFL Formal Specifications. - Yu Du; Shaoying Liu (DSA, 2023)

GDTM: Gaussian Differential Trust Mechanism for Optimal Recommender System. - Lixiao Gong; Guangquan Xu; Jingyi Cui; Xiao Wang; Shihui Fu; Xi Zheng 001; Shaoying Liu (ICA3PP (6), 2023)

Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. - Yujun Dai; Shaoying Liu; Guangquan Xu; Ai Liu (ICECCS, 2023)

Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. - Pingyan Wang; Shaoying Liu (ICECCS, 2023)

A Framework of Formal Specification-Based Data Generation for Deep Neural Networks. - Yanzhao Xia; Shaoying Liu (ICSCA, 2023)

UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management. - Guangquan Xu; Wenqing Lei; Lixiao Gong; Jian Liu 004; Hongpeng Bai; Kai Chen 012; Ran Wang; Wei Wang 012; Kaitai Liang; Weizhe Wang; Weizhi Meng 001; Shaoying Liu (Comput. Secur., 2023)

Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. - Ai Liu; Shaoying Liu (IEEE Trans. Software Eng., 2023)

A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain. - Guangquan Xu; Chen Qi; Wenyu Dong; Lixiao Gong; Shaoying Liu; Si Chen 009; Jian Liu 004; Xi Zheng 001 (IEEE J. Biomed. Health Informatics, 2023)

ASQ-FastBM3D: An Adaptive Denoising Framework for Defending Adversarial Attacks in Machine Learning Enabled Systems. - Guangquan Xu; Zhengbo Han; Lixiao Gong; Litao Jiao; Hongpeng Bai; Shaoying Liu; Xi Zheng 001 (IEEE Trans. Reliab., 2023)

A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL. - Busalire Onesmus Emeka; Soichiro Hidaka; Shaoying Liu (IEICE Trans. Inf. Syst., 2023)

Requirements-related fault prevention during the transformation from formal specifications to programs. - Jiandong Li 003; Shaoying Liu (IET Softw., 2023)

Cross-Project Transfer Learning on Lightweight Code Semantic Graphs for Defect Prediction. - Dingbang Fang; Shaoying Liu; Yang Li (Int. J. Softw. Eng. Knowl. Eng., 2023)

GenDroid: A query-efficient black-box android adversarial attack framework. - Guangquan Xu; Hongfei Shao; Jingyi Cui; Hongpeng Bai; Jiliang Li; Guangdong Bai; Shaoying Liu; Weizhi Meng 001; Xi Zheng 001 (Comput. Secur., 2023)

Delay-CJ: A novel cryptojacking covert attack method based on delayed strategy and its detection. - Guangquan Xu; Wenyu Dong; Jun Xing; Wenqing Lei; Jian Liu 004; Lixiao Gong; Meiqi Feng; James Xi Zheng; Shaoying Liu (Digit. Commun. Networks, 2023)

Multi-Misconfiguration Diagnosis via Identifying Correlated Configuration Parameters. - Yingnan Zhou; Xue Hu; Sihan Xu; Yan Jia; Yuhao Liu; Junyong Wang; Guangquan Xu; Wei Wang 012; Shaoying Liu; Thar Baker (IEEE Trans. Software Eng., 2023)

Agile-SOFL - Agile Formal Engineering Method - Shaoying Liu (Springer, 2024)

LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. - Yuxiang Shang; Shaoying Liu (ICFEM, 2024)

Testing the Security of Deep Learning Systems Based on Chest X-ray Images. - Yang Li; Shaoying Liu; Lisen Guo (ICSCA, 2024)

The Three-Point Optimization Algorithm: A Novel Physics-Based Metaheuristic Approach. - Xiong Deng; Shaoying Liu; Yanli Liu (SFPVV, 2024)

A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications. - Yu Du; Shaoying Liu (SFPVV, 2024)

Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java Code. - Jiandong Li; Shaoying Liu; Zhi Jin (SFPVV, 2024)

NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification. - Haiyi Liu; Shaoying Liu; Guangquan Xu; Ai Liu; Dingbang Fang (Int. J. Softw. Eng. Knowl. Eng., 2024)

Detecting security vulnerabilities with vulnerability nets. - Pingyan Wang; Shaoying Liu; Ai Liu; Wen Jiang (J. Syst. Softw., 2024)

OFEI: A Semi-Black-Box Android Adversarial Sample Attack Framework Against DLaaS. - Guangquan Xu; Guohua Xin; Litao Jiao; Jian Liu 004; Shaoying Liu; Meiqi Feng; Xi Zheng 001 (IEEE Trans. Computers, 2024)

Toward Pointer-Analysis-Based Vulnerability Discovery in Human-Machine Pair Programming. - Pingyan Wang; Shaoying Liu (Int. J. Softw. Eng. Knowl. Eng., 2024)

ID-SR: Privacy-Preserving Social Recommendation Based on Infinite Divisibility for Trustworthy AI. - Jingyi Cui; Guangquan Xu; Jian Liu 004; Shicheng Feng; Jianli Wang; Hao Peng 002; Shihui Fu; Zhaohua Zheng; James Xi Zheng; Shaoying Liu (ACM Trans. Knowl. Discov. Data, 2024)

Enhancing human-machine pair inspection with risk number and code inspection diagram. - Yujun Dai; Shaoying Liu; Guangquan Xu (Softw. Qual. J., 2024)

Program Segment Testing for Human-Machine Pair Programming. - Lei Rao; Shaoying Liu; Ai Liu (Int. J. Softw. Eng. Knowl. Eng., 2024)

TBFV4J: An Automated Testing-Based Formal Verification Tool for Java. - Ai Liu; Yang Liu; Shaoying Liu (ISSTA Companion, 2025)

Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. - Ai Liu; Yang Liu; Shaoying Liu; Zhibin Yang (TASE, 2025)

Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation. - Wen Jiang; Shaoying Liu (IEEE Access, 2025)

Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures. - Jiandong Li; Shaoying Liu; Zhi Jin (J. Syst. Softw., 2025)

Differential-Trust-Mechanism-Based Trade-Off Method Between Privacy and Accuracy in Recommender Systems. - Guangquan Xu; Shicheng Feng; Hao Xi; Qingyang Yan; Wenshan Li 001; Cong Wang 004; Wei Wang 012; Shaoying Liu; Zhihong Tian; James Xi Zheng (IEEE Trans. Inf. Forensics Secur., 2025)

IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems. - Guohua Xin; Guangquan Xu; Yao Zhang 019; Cheng Wen 002; Cen Zhang; Xiaofei Xie; Neal N. Xiong; Shaoying Liu; Pan Gao (IEEE Trans. Parallel Distributed Syst., 2025)