% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-27
% Creation time: 06-36-45
% --- Number of references
% 4
% 

@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}
}

@Inproceedings { 2022-schemmel-kdalloc,
   title = {A Deterministic Memory Allocator for Dynamic Symbolic Execution},
   year = {2022},
   month = {6},
   tags = {safe},
   url = {https://drops.dagstuhl.de/opus/volltexte/2022/16237/pdf/LIPIcs-ECOOP-2022-9.pdf},
   booktitle = {European Conference on Object-Oriented Programming (ECOOP 2022)},
   DOI = {10.4230/LIPIcs.ECOOP.2022.9},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Busse, Frank and Nowack, Martin and Cadar, Cristian}
}

@Inproceedings { 2018-soria-dustmann-parti,
   title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution},
   year = {2018},
   month = {9},
   tags = {symbiosys},
   url = {file:2195},
   booktitle = {Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)},
   DOI = {10.1145/3238147.3238179},
   reviewed = {1},
   author = {Soria Dustmann, Oscar and Wehrle, Klaus and Cadar, Cristian}
}

@Inproceedings { 2017-liew-schemmel-fp,
   title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
   year = {2017},
   month = {10},
   day = {30},
   tags = {symbiosys},
   url = {file:1848},
   booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering},
   event_place = {Urbana-Champaign, IL, USA},
   language = {en},
   ISBN = {978-1-5386-2684-9/17},
   reviewed = {1},
   author = {Liew, Daniel and Schemmel, Daniel and Cadar, Cristian and Donaldson, Alastair and Z{\"a}hl, Rafael and Wehrle, Klaus}
}