Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview

View at publisher
Authors: Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro
Cited by: 4
References: 43

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