"Model-Based Software Testing and Analysis with C#" - читать интересную книгу автора (Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte)