"Enhancing symbolic execution with veritesting."

Thanassis Avgerinos et al. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics