Carsten Binnig Donald Kossmann Eric Lo Angel Saenz-Badillos Automatic Result Verification for the Functional Testing of a Query Language. 1534-1536 2008 ICDE http://dx.doi.org/10.1109/ICDE.2008.4497614 conf/icde/2008 db/conf/icde/icde2008.html#BinnigKLS08