KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.

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

Browse the full ISSTA paper archive.