Automated database applications testing : specification representation for automated reasoning by Rana Farid Mikhail. ISBN 9789812837288. Published by World Scientific in 2010. Publication and catalogue information, links to buy online and reader comments.