Handling Heap Data Structures in Backward Symbolic Execution.

Robert Husk, Jan Kofron, Filip Zavoral

Browse the full FM paper archive.