"Exploiting program dependencies for scalable multiple-path symbolic execution."

Raúl A. Santelices, Mary Jean Harrold (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics