Unit testing database applications using SpecDB: A database of software specifications. - Rana Farid Mikhail (2006)

Automated Database Applications Testing - Specification Representation for Automated Reasoning - Rana Farid Mikhail; Donald J. Berndt; Abraham Kandel (WorldScientific, 2010)