Exe: Automatically generating inputs of death (0)

by C CADAR, V GANESH, P M PAWLOWSKI, D L DILL, D R ENGLER
Venue:ACM Trans. Inf. Syst. Secur