This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-04-20
Creation time: 05-30-35
--- Number of references
1
inproceedings
2022-schemmel-kdalloc
A Deterministic Memory Allocator for Dynamic Symbolic Execution
2022
6
safe
https://drops.dagstuhl.de/opus/volltexte/2022/16237/pdf/LIPIcs-ECOOP-2022-9.pdf
European Conference on Object-Oriented Programming (ECOOP 2022)
10.4230/LIPIcs.ECOOP.2022.9
1
DanielSchemmel
JulianBüning
FrankBusse
MartinNowack
CristianCadar