TY  - BOOK
AU  - Mikhail,Rana Farid
AU  - Berndt,Donald J.
AU  - Kandel,Abraham
ED  - ebrary, Inc.
TI  - Automated database applications testing: specification representation for automated reasoning 
T2  - Series in machine perception and artificial intelligence
AV  - QA76.76.T48 M55 2010eb
U1  - 005.1/4 22
PY  - 2010///
CY  - Singapore, Hackensack, NJ
PB  - World Scientific
KW  - Computer software
KW  - Testing
KW  - Automation
KW  - Database design
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references (p. 185-192) and index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2013; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://site.ebrary.com/lib/daystar/Doc?id=10422652
ER  -