On Semantics for Mediator: A Coalgebraic Perspective. - Ai Liu; Shun Wang; Yi Li 010; Meng Sun 002 (SOFL+MSVL, 2018)

A Coalgebraic Semantics Framework for Quantum Systems. - Ai Liu; Meng Sun 002 (ICFEM, 2019)

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)

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

A Unifying Coalgebraic Semantics Framework for Quantum Systems. - Ai Liu; Meng Sun 002 (Int. J. Softw. Eng. Knowl. Eng., 2021)

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)

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)

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

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

Observation of Hidden Asymmetry in Polarization Space for Dissipative Soliton Fiber Lasers. - Yu Long 004; Qiang Wu; Zhenghu Chang; Ai Liu; Yuanjie Yu; Shiyun Dai; Peng Cai; Ligang Huang; Lei Gao; Tao Zhu (Symmetry, 2023)

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

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)

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)