- [11] Haiyi Liu,,Shaoying Liu,Guangquan Xu,Ai Liu,Yujun Dai.Utilizing Testing-Based Formal Verification in Neural Networks: A Theoretical Approach.[C]:2023 13th International Conference on Software Technology and Engineering (ICSTE),2023:151-155
- [12] Yujun Dai,,Shaoying Liu,Guangquan Xu,Ai Liu.Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection.[C]:Proceedings of ICECCS 2023,2023:108-115
- [13] Haiyi Liu,,Shaoying Liu,Guangquan Xu,Ai Liu,Dingbang Fang.NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification..[J]:International Journal of Software Engineering and Knowledge Engineering,2023,34(2)
- [14] Pingyan Wang,,Shaoying Liu,Ai Liu,Weng Jiang.Detecting Security Vulnerabilities with Vulnerability Nets.[C]:Proceedings of QRS-Companion 2022,2023:375-383
- [15] Haiyi Liu,,Shaoying Liu,Ai Liu,Dingbang Fang,Guangquan Xu.Verifying and Improving Neural Networks Using Testing-Based Formal Verification.[C]:Proceedings of SOFL+MSVL 2022,2023:126-141
- [16] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Runtime Exceptions in Java.[C]:Proceedings of SOFL+MSVL 2022,2023:93-105
- [17] 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
- [18] Weng Jiang,,Shaoying Liu,Ai Liu.A Systematic Method for Identifying Safety-related Faults in Formal Specifications Using FTA.[C]:2022 13th International Conference on Reliability, Maintainability, and Safety (ICRMS),2022
- [19] Ai Liu,,Shaoying Liu,Meng Sun.Probabilistic mediator: A coalgebraic perspective:Journal of Logical and Algebraic Methods in Programming,2022,129:100808
- [20] Pingyan Wang,,Shaoying Liu,Ai Liu,Fatiha Zaidi.A FRAMEWORK FOR MODELING AND DETECTING SECURITY VULNERABILITIES IN HUMAN-MACHINE PAIR PROGRAMMING:Journal of Internet Technology,2022,23(5):1129-1138