Yuetang Deng, Phyllis G. Frankl, David Chays. Testing database transactions with AGENDA. In Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh, editors, 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. pages 78-87, ACM, 2005. [doi]
Abstract is missing.