Memoized symbolic execution.

Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Browse the full ISSTA paper archive.