Exact Heap Summaries for Symbolic Execution.

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

Browse the full VMCAI paper archive.