Automated Database Applications Testing: Specification Representation For Automated Reasoning - Mikhail, Rana Farid (Univ Of South Florida, Usa) a Berndt, Donald J (Univ Of South Florida, Usa) a Kandel, Abraham (Univ Of South Florida, Usa)

Introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools.