Model based software testing and analysis with c# - Jacky, Jonathan; Veanes, Margus; Campbell, Colin; Schulte, Wolfram (Cambridge University Press New York, 2008)
Keywords: Computer software -- Testing; Computer software -- Quality control; C# -- computer programing language