Sign in
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.
Daniel Schemmel
Julian Büning
Frank Busse
Martin Nowack
Cristian Cadar
Published in:
ISSTA (2023)
Keyphrases
</>
test cases
symbolic execution
test data generation
black box
test generation
test data
simplex method
software testing
regression testing
data sets
database systems
test case selection
knowledge management
static analysis
test case generation