Systematic Testing of Database Engines Using a Relational Constraint Solver | IEEE Conference Publication | IEEE Xplore