Mostafa Elhemali Leo Giakoumakis Unit-testing query transformation rules. 3 2008 DBTest http://doi.acm.org/10.1145/1385269.1385273 conf/sigmod/2008dbtest db/conf/sigmod/dbtest2008.html#ElhemaliG08