Model-based whitebox fuzzing for program binaries
dowsing for overflows : a guided fuzzer to find buffer boundary violations .