Automated database applications testing : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
This book 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. The first auto...
Full description
Saved in: