AV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser.

Sangharatna Godboley, Kanika Gupta, Monika Rani Golla

Browse the full ENASE paper archive.