Research Field
- No Content
Paper Publications MORE+
- Ai Liu.Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification.Proceedings of ISSRE 2025.2025:179-190
- Min Zhou.Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models.Proceedings of QRS-C 2025.2025:416-425
- Kaicheng Shao.Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.Proceedings of QRS 2025.2025:154-163
- 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