Rana Farid Mikhail-Donald J Berndt-Abraham Kandel Automated Database Applications Testing: Specification Representation For Automated Reasoning - World Scientific 2010 - Series in Machine Perception and Artificial Intelligence . ISBN: 9789812837295 Subjects--Topical Terms: Computer software--Testing--Automation.,Database design. Subjects--Index Terms: COMPUTERS / Artificial Intelligence / General LC Class. No.: QA76.76.T48 M55 2010eb Dewey Class. No.: 005.1/4