Symbolic execution with mixed concrete-symbolic solving.

Corina S. Pasareanu, Neha Rungta, Willem Visser

Browse the full ISSTA paper archive.