- [11] Haiyi Liu,,Shaoying Liu,Guangquan Xu,Ai Liu,Dingbang Fang.NNTBFV: Simplifying and Verifying Neural Networks Using Testing-Based Formal Verification.:International Journal of Software Engineering and Knowledge Engineering,2024,34(2)
- [12] Pingyan Wang,,Ai Liu,Shaoying Liu,Wen jiang.Detecting security vulnerabilities with vulnerability nets:Journal of Systems and Software,2024
- [13] 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
- [14] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Runtime Exceptions in Java:Proceedings of SOFL+MSVL 2022
- [15] Yujun Dai,,Shaoying Liu,Guangquan Xu,Ai Liu.Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection:2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)
- [16] Jiandong Li,,Shaoying Liu,Ai Liu,Runhe Huang.Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Usâ¦:2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
- [17] Haiyi Liu,,Shaoying Liu,Guangquan Xu,Ai Liu,Yujun Dai.Utilizing Testing-Based Formal Verification in Neural Networks: A Theoretical Approach:2023 13th International Conference on Software Technology and Engineering (ICSTE)
- [18] Weng Jiang,,Shaoying Liu,Ai Liu.A Systematic Method for Identifying Safety-related Faults in Formal Specifications Using FTA:2022 13th International Conference on Reliability, Maintainability, and Safety (ICRMS)
- [19] Pingyan Wang,,Shaoying Liu,Ai Liu,Weng Jiang.Detecting Security Vulnerabilities with Vulnerability Nets:2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)
- [20] Dingbang Fang,,Shaoying Liu,Ai Liu.EPR: a Neural Network for Automatic Feature Learning from Code for Defect Prediction:2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)