SAGE: whitebox fuzzing for security testing
Automated Whitebox Fuzz Testing