Research Field
- No Content
Paper Publications MORE+
- Ai Liu.Dynamic Set Theory: Adding Natural Time to Sets and Specifying Space-Time Overlap.Accepted by Formal Aspects of Computing
- Dingbang Fang.A Learning Method Based on Program Semantic Graph for Defect Prediction.Accepted by IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
- Shaoying Liu.TBFVV: Testing-Based Formal Validation and Verification.accepted by ICFEM 2026
- 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