Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 1491-1494, ACM, 2023. [doi]
@inproceedings{SchemmelBBNC23,
title = {KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay},
author = {Daniel Schemmel and Julian Büning and Frank Busse and Martin Nowack and Cristian Cadar},
year = {2023},
doi = {10.1145/3597926.3604921},
url = {https://doi.org/10.1145/3597926.3604921},
researchr = {https://researchr.org/publication/SchemmelBBNC23},
cites = {0},
citedby = {0},
pages = {1491-1494},
booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023},
editor = {René Just and Gordon Fraser 0001},
publisher = {ACM},
}