A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs.

Michaël Marcozzi Wim Vanhoof Jean-Luc Hainaut

Published in: CoRR (2015)

Keyphrases

database
symbolic execution
optimal solution
hybrid algorithm
optimization method
simulated annealing
particle swarm optimization
relational databases
case study
learning algorithm
data sets
objective function
optimization algorithm
test cases
orders of magnitude
decision trees
generation algorithm