EXE: Automatically Generating Inputs of Death.

Cristian Cadar Vijay Ganesh Peter M. Pawlowski David L. Dill Dawson R. Engler EXE: Automatically Generating Inputs of Death. 2008 12 ACM Trans. Inf. Syst. Secur. 2 http://doi.acm.org/10.1145/1455518.1455522 db/journals/tissec/tissec12.html#CadarGPDE08