"Symbolic execution with mixed concrete-symbolic solving."

Corina S. Pasareanu, Neha Rungta, Willem Visser (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics