- [21] Haiyi Liu,,Shaoying Liu,Ai Liu,Dingbang Fang,Guangquan Xu.Verifying and Improving Neural Networks Using Testing-Based Formal Verification:Proceedings of SOFL+MSVL 2022
- [22] 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
- [23] Jiandong Li,,Shaoying Liu,Ai Liu,Runhe Huang.Knowledge Graph Construction for SOFL Formal Specifications:International Journal of Software Engineering and Knowledge Engineering,2022,32(4):605-644
- [24] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Software Faults during Programming:International Journal of Performability Engineering,2021,17(11):907-917