Relational Symbolic Execution.

Gian Pietro Farina Stephen Chong Marco Gaboardi

Published in: CoRR (2017)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
relational data
relational databases
data model
data flow
test cases
databases
simulated annealing algorithm
neural network
programming language
formal specification