Yuetang Deng Phyllis G. Frankl David Chays Testing database transactions with AGENDA. 78-87 2005 conf/icse/2005 ICSE http://doi.acm.org/10.1145/1062455.1062486 db/conf/icse/icse2005.html#DengFC05