Allison W. Lee Mohamed Zaït Thierry Cruanes Rafi Ahmed Yali Zhu Validating the Oracle SQL engine. 2009 DBTest http://doi.acm.org/10.1145/1594156.1594161 conf/sigmod/2009dbtest db/conf/sigmod/dbtest2009.html#LeeZCAZ09