| 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 | QRS | Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples. | Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun |
| 2025 | QRS | Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models. | Min Zhou, Zhibin Yang, Yong Zhou, Shuyi Yang, Ai Liu |
| 2025 | TASE | Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. | Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang |
| 2023 | ICECCS | Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. | Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu |
| 2022 | QRS | Detecting Security Vulnerabilities with Vulnerability Nets. | Pingyan Wang, Shaoying Liu, Ai Liu, Wen Jiang |
| 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 |
| 2019 | ICFEM | A Coalgebraic Semantics Framework for Quantum Systems. | Ai Liu, Meng Sun |