Database state generation via dynamic symbolic execution for coverage criteria.

Kai Pan Xintao Wu Tao Xie

Published in: DBTest (2011)

Keyphrases

database
symbolic execution
databases
database systems
state space
neural network
test generation
test data generation
data sets
metadata
decision trees
data management
integrity constraints
convergence rate