Model-based whitebox fuzzing for program binaries
Automated Whitebox Fuzz Testing