Testing database transactions with AGENDA.

Yuetang Deng, Phyllis G. Frankl, David Chays

Browse the full ICSE paper archive.