Smart Greybox Fuzzing
LAVA: Large-Scale Automated Vulnerability Addition