Indexing Operators to Extend the Reach of Symbolic Execution.

Earl T. Barr David Clark Mark Harman Alexandru Marginean

Published in: CoRR (2018)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
source code
specification language
database
data flow
high level
genetic algorithm
data sets
decision trees
object oriented