This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-07-03
Creation time: 09-53-10
--- Number of references
4
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
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
inproceedings
2018-soria-dustmann-parti
PARTI: A Multi-interval Theory Solver for Symbolic Execution
2018
9
symbiosys
file:2195
Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
10.1145/3238147.3238179
1
OscarSoria Dustmann
KlausWehrle
CristianCadar
inproceedings
2017-liew-schemmel-fp
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
2017
10
30
symbiosys
file:1848
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Urbana-Champaign, IL, USA
en
978-1-5386-2684-9/17
1
DanielLiew
DanielSchemmel
CristianCadar
AlastairDonaldson
RafaelZähl
KlausWehrle