"Symbolic Execution for Dynamic, Evolutionary Test Data Generation."

Anastasis A. Sofokleous, Andreas S. Andreou, Antonis Kourras (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics