Model-Based Software Testing and Analysis with C#

Jonathan Jacky , Margus Veanes , Wolfram Schulte