Handling Heap Data Structures in Backward Symbolic Execution.

Robert Husák Jan Kofron Filip Zavoral

Published in: FM Workshops (2) (2019)

Keyphrases

data structure
symbolic execution
test data generation
static analysis
test generation
specification language
source code
suffix tree
data flow
databases
real world
simulated annealing
test cases