Automatic Result Verification for the Functional Testing of a Query Language.

Carsten Binnig Donald Kossmann Eric Lo Angel Saenz-Badillos

Published in: ICDE (2008)

Keyphrases

query language
object oriented
semi automatic
relational algebra
test generation
symbolic execution
functional verification
real time
data sets
decision trees