Michael Emmi Rupak Majumdar Koushik Sen Dynamic test input generation for database applications. 151-162 2007 conf/issta/2007 ISSTA http://doi.acm.org/10.1145/1273463.1273484 db/conf/issta/issta2007.html#EmmiMS07