Enhancing symbolic execution with veritesting.

Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, David Brumley

Browse the full ICSE paper archive.