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