EXE: automatically generating inputs of death.

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler

Browse the full CCS paper archive.