EXE: Automatically generating inputs of death (2006)

by C Cadar, V Ganesh, P M Pawlowski, D L Dill, D R Engler
Venue:In Proceedings of the 13th ACM conference on Computer and communications security