Research Field
- No Content
Paper Publications MORE+
- Kaicheng Shao.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.accepted by QRS 2025
- Ai Liu.Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness.Proceedings of TASE 2025.2025:11-29
- Ai Liu.TBFV4J: An Automated Testing-Based Formal Verification Tool for Java.ISSTA Companion '25: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis.2025:66-70
- Lei Rao.Program Segment Testing for Human–Machine Pair Programming.International Journal of Software Engineering and Knowledge Engineering.2024,34(10):1565-1591
- Pingyan Wang.Detecting security vulnerabilities with vulnerability nets.Journal of Systems and Software.2024