Publication

@inproceedings{abc,
	author = {Carsten Binnig and Donald Kossmann and Eric Lo and Angel Saenz-Badillos},
	booktitle = {Proceedings of the 24th International Conference on Data Engineering, ICDE 2008},
	title = {Automatic Result Verification for the Functional Testing of a Query Language.},
	url = {http://dx.doi.org/10.1109/ICDE.2008.4497614},
	venue = {Canc{\'u}n, M{\'e}xico},
	year = {2008}
}