Registered user since Mon 29 Sep 2025
Name:Xu Lu
Country:China
Affiliation:Xidian University
Research interests:Formal methods, Program Verification, AI4SE
Contributions
2026
ESEC/FSE
- RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations
- IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
- DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models
Using general profile