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 13th ACM Conference on Computer and Communications Security (CCS