EXE: Automatically Generating Inputs of Death

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

ACM Trans. Inf. Syst. Secur. 12(2)
Association for Computing Machinery
New York, NY, USA
December 2008

EXE symbolic executor