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

1@inproceedings{schemmelKDAllocKLEEDeterministic2023,
2  author = {Schemmel, Daniel and Büning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian},
3  title = {{{KDAlloc}}: {{The}} {{KLEE}} {{Deterministic}} {{Allocator}}: {{Deterministic}} {{Memory}} {{Allocation}} during {{Symbolic}} {{Execution}} and {{Test}} {{Case}} {{Replay}}},
4  booktitle = {32nd {{ACM}} {{SIGSOFT}} {{International}} {{Symposium}} on {{Software}} {{Testing}} and {{Analysis}} {{(ISSTA}} 2023)},
5  location = {Seattle, WA, USA},
6  pages = {1491--1494},
7  year = {2023},
8  month = {jul},
9  doi = {10.1145/3597926.3604921},
10}