A test-suite generator for database systems | IEEE Conference Publication | IEEE Xplore