Exe: Automatically generating inputs of death (2008)

by C Cadar, V Ganesh, P M Pawlowski, D L Dill, D R Engler
Venue:ACM Trans. Inf. Syst. Secur