"Targeted program transformations for symbolic execution."

Cristian Cadar (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics