Model-Based Software Testing and Analysis with C#: A Model-based Approach Using

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs.