Unleashing Mayhem on binary code

Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley
[doi] [Google Scholar] [DBLP] [Citeseer]

2012 IEEE Symposium on Security and Privacy
Volume
Pages 380-394
May 2012
Note(s): symbolic execution, binary analysis, automatic exploit generation, Mayhem