Proceedings of the 1st international workshop on Testing database systems