dowsing for overflows : a guided fuzzer to find buffer boundary violations .
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs