TY  - BOOK
AU  - Rana Farid Mikhail-Donald J Berndt-Abraham Kandel
TI  - Automated Database Applications Testing: Specification Representation For Automated Reasoning
T2  - Series in Machine Perception and Artificial Intelligence
SN  - 9789812837295
AV  - QA76.76.T48 M55 2010eb 
U1  - 005.1/4 
PY  - 2010///
PB  - World Scientific
KW  - Computer software--Testing--Automation.,Database design
KW  - COMPUTERS / Artificial Intelligence / General
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e230xww&scope=site&site=ehost-live&AN=340683
ER  -