Chopped symbolic execution.

David Trabish Andrea Mattavelli Noam Rinetzky Cristian Cadar

Published in: ICSE (2018)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
database
data sets
simulated annealing algorithm
case study
genetic algorithm
database systems
object oriented
open source
domain independent
artificial intelligence