Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
Fields of Study & Subjects
Software Testing and Debugging Techniques
Advanced Malware Detection Techniques
Software Engineering Research
Publication details
- Journal / source
- Adversarial Example Detection and Mitigation Using Machine Learning
- Publisher
- Springer Nature Switzerland
- Pages
- 33–47
- Publication date
- 1 January 2026
- Language
- EN
- Document type
- Book chapter