EXE: Automatically generating inputs of death (2006)

by Cristian Cadar, Vijay Ganesh, Peter M Pawlowski, David L Dill, Dawson R Engler
Venue:In Proceedings of the ACM Conference on Computer and Communications Security (CCS