Exe: Automatically generating inputs of death (2006)

by C Cadar, V Ganesh, P M Pawlowski, D L Dill, D R Engler
Venue:In CCCF