This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-06-16
Creation time: 16-14-34
--- Number of references
1
inproceedings
2023-schemmel-kdalloc-tool
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
2023
7
13
https://dl.acm.org/doi/pdf/10.1145/3597926.3604921
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
10.1145/3597926.3604921
1
DanielSchemmel
JulianBüning
FrankBusse
MartinNowack
CristianCadar