"Automated Database Applications Testing: Specification Representation for Automated Reasoning " - читать интересную книгу автора (Rana Rarid Mikhail, Donald Berndt, Abraham Kandel)