"Compositional Symbolic Execution with Memoized Replay."

Rui Qiu et al. (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics