- [1] Ai Liu,,Shaoying Liu,Meng Sun,Zhibin Yang.Dynamic Set Theory: Adding Natural Time to Sets and Specifying Space-Time Overlap:Accepted by Formal Aspects of Computing
- [2] Dingbang Fang,,Shaoying Liu,Limei Lin,Haiyi Liu,Ai Liu,Xin Du,Youcong Ni.A Learning Method Based on Program Semantic Graph for Defect Prediction:Accepted by IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
- [3] Shaoying Liu,,Ai Liu,Yang Liu.TBFVV: Testing-Based Formal Validation and Verification:accepted by ICFEM 2026
- [4] Ai Liu,,Yang Liu,Lei Rao,Shaoying Liu,Zhibin Yang,Zhiqiu Huang.Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formalâ¦:Proceedings of ISSRE 2025,2025:179-190
- [5] Min Zhou,,Zhibin Yang,Yong Zhou,Shuyi Yang,Ai Liu.Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Largeâ¦:Proceedings of QRS-C 2025,2025:416-425
- [6] Kaicheng Shao,,Yuteng Lu,Ai Liu,Meng Sun.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples:Proceedings of QRS 2025,2025:154-163
- [7] Ai Liu,,Yang Liu,Shaoying Liu,Zhibin Yang.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.[C]:Proceedings of TASE 2025,2025:11-29
- [8] Ai Liu,,Yang Liu,Shaoying Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.[C]:ISSTA Companion '25: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis,2025:66-70
- [9] Lei Rao,,Shaoying Liu,Ai Liu.Program Segment Testing for Human–Machine Pair Programming.[J]:International Journal of Software Engineering and Knowledge Engineering,2024,34(10):1565-1591
- [10] Pingyan Wang,,Ai Liu,Shaoying Liu,Wen jiang.Detecting security vulnerabilities with vulnerability nets.[J]:Journal of Systems and Software,2024