% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-05-09
% Creation time: 07-09-03
% --- Number of references
% 1
% 

@Inproceedings { 2023-schemmel-kdalloc-tool,
   title = {KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay},
   year = {2023},
   month = {7},
   day = {13},
   url = {https://dl.acm.org/doi/pdf/10.1145/3597926.3604921},
   booktitle = {ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)},
   DOI = {10.1145/3597926.3604921},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian}
}