Memoise: a tool for memoized symbolic execution.

Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu

Browse the full ICSE paper archive.