A Deterministic Memory Allocator for Dynamic Symbolic Execution.

Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar

Browse the full ECOOP paper archive.