Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems
Symbolic execution for software testing: three decades later