Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. - David Molnar; Xue Cong Li; David A. Wagner 001 (USENIX Security Symposium, 2009)