Symbolic Execution with CEGAR.

Dirk Beyer Thomas Lemberger

Published in: ISoLA (1) (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
test cases
artificial intelligence
data sets
manufacturing systems
decision trees
state space
general purpose
software testing
simulated annealing algorithm