Generalized Symbolic Execution for Model Checking and Testing.

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser

Browse the full TACAS paper archive.