Automated Database Applications Testing: Specification Representation For Automated Reasoning

Discover the groundbreaking work of Rana Farid Mikhail in "Automated Database Applications Testing: Specification Representation For Automated Reasoning." Published by World Scientific Publishing Co Pte Ltd in 2010, this insightful book spans 212 pages and delves into the innovative concept of SpecDB. This intelligent database is designed to represent and host software specifications in a machine-readable format, leveraging principles of artificial intelligence and unit testing for database operations. Mikhail expertly demonstrates the capabilities of SpecDB through two automated intelligent tools, showcasing its potential for enhancing quality assurance and testing in software development. Ideal for professionals and students in computer science and software engineering, this hardback edition is a must-have for anyone looking to deepen their understanding of automated testing and database design.