Login / Signup
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact).
Daniel Schemmel
Julian Büning
Frank Busse
Martin Nowack
Cristian Cadar
Published in:
Dagstuhl Artifacts Ser. (2022)
Keyphrases
</>
symbolic execution
test generation
static analysis
artificial intelligence
database
distributed systems