"Generalized Symbolic Execution for Model Checking and Testing."

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics