- [1] Ai Liu,,Yang Liu,Shaoying Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java:accepted by ISSTA 2025 demo
- [2] Ai Liu,,Yang Liu,Shaoying Liu,Zhibin Yang.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness:accepted by TASE 2025
- [3] Ai Liu,,Shaoying Liu.Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software â¦:IEEE Transactions on Software Engineering,2023,49(1):304 - 324
- [4] Ai Liu,,Shaoying Liu,Meng Sun.Probabilistic mediator: A coalgebraic perspective:Journal of Logical and Algebraic Methods in Programming,2022,129:100808
- [5] Ai Liu,,Shun Wang,Luis Soares Barbosa,Meng Sun.Fuzzy Automata as Coalgebras:Mathematics,2021,9(3):272
- [6] Ai Liu,Meng Sun.A Unifying Coalgebraic Semantics Framework for Quantum Systems:International Journal of Software Engineering and Knowledge Engineering,2021,31(3):381-403
- [7] Ai Liu,Meng Sun.A Coalgebraic Semantics Framework for Quantum Systems:Proceedings of ICFEM 2019
- [8] Ai Liu,,Shun Wang,Yi Li,Meng Sun.On Semantics for Mediator: A Coalgebraic Perspective:Proceedings of SOFL+MSVL 2018:146-165
- [9] 刘艾,.寻访江安国立剧专——中国戏剧摇篮:生态文明世界,2021,3:90-95+7
- [10] Lei Rao,,Shaoying Liu,Ai Liu.Program Segment Testing for Human–Machine Pair Programming:International Journal of Software Engineering and Knowledge Engineering,2024,34(10):1565-1591