Model-Based Software Testing and Analysis with C# Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte. 2008. Cambridge University Press (http:www.cambridge.org). 366 pages. ISBN-13: 978-0521687614

CSQE Body of Knowledge area: Software Engineering Processes

Model-Based Software Testing and Analysis with C#, as the name implies, teaches model-based analysis and testing, which are new methods for specifying, analyzing, and testing software based on executable specifications called model programs. The methods that are outlined in this book increase automation in writing and analyzing software specifications and designs, generating test cases, and verifying and validating test ...