Model-Based Software Testing and Analysis with C#

Jonathan Jacky is a Research Scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing Margus Veanes is a Researcher in the Foundations of Software Engineering (FSE) group at Microsoft Research. His research interests include model-based software development, validation, and testing Colin Campbell is a Principal of the consulting firm Modeled Computation LLC in Seattle. His current interests include design analysis, the modeling of reactive and distributed systems, and the integration of components in large systems Wolfram Schulte is a Research Area Manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) groupJacky, Jonathan is the author of 'Model-Based Software Testing and Analysis with C#', published 2007 under ISBN 9780521687614 and ISBN 0521687616.