"Guiding dynamic symbolic execution toward unverified program executions."

Maria Christakis, Peter Müller, Valentin Wüstholz (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics