Registered user since Wed 23 Aug 2023
Name:Bin Yu
Country:China
Affiliation:Xidian University
Contributions
2026
ESEC/FSE
- DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models
- IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
- RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations
Using general profile