Compositional Symbolic Execution with Memoized Replay.

Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Browse the full ICSE paper archive.