Proceedings of the 1st international workshop on Testing database systems
ACM Digital Library