Login / Signup
A Deterministic Memory Allocator for Dynamic Symbolic Execution.
Daniel Schemmel
Julian Büning
Frank Busse
Martin Nowack
Cristian Cadar
Published in:
ECOOP (2022)
Keyphrases
</>
symbolic execution
test data generation
neural network
data sets
databases
case study
orders of magnitude
static analysis
test generation