- [[LLM-aided Automatic Modeling for Security Protocol Verification]]
- [[Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning]]
- [[Understanding the Effectiveness of Coverage Criteria for Large Language Models： A Special Angle from Jailbreak Attacks]]