- [11] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Runtime Exceptions in Java.[C]:Proceedings of SOFL+MSVL 2022,2023:93-105
- [12] 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
- [13] 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
- [14] Ai Liu,,Shaoying Liu,Meng Sun.Probabilistic mediator: A coalgebraic perspective:Journal of Logical and Algebraic Methods in Programming,2022,129:100808
- [15] 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
- [16] Dingbang Fang,,Shaoying Liu,Ai Liu.Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction:IEEE Transactions on Reliability,2022,71(2):512 - 526
- [17] 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
- [18] Dingbang Fang,,Shaoying Liu,Ai Liu.EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction.[C]:2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),2022:482-492
- [19] Jiandong Li,,Shaoying Liu,Ai Liu,Runhe Huang.Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Usâ¦:Proceedings of QRS 2021,2022:852-863
- [20] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Software Faults during Programming.[J]:International Journal of Performability Engineering,2021,17(11):907-917