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 has worked on model-based testing and analysis techniques for a
number of years in industry, for companies including Microsoft Research. He is a
Principal of the consulting firm Modeled Computation LLC in Seattle (www.modeledcomputation.
com). 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) group.
Model-Based Software
Testing and Analysis
with C#
Jonathan Jacky
University of Washington, Seattle
Margus Veanes
Microsoft Research, Redmond, Washington
Colin Campbell
Modeled Computation LLC, Seattle, Washington
Wolfram Schulte
Microsoft Research, Redmond, Washington
CAMBRIDGE UNIVERSITY PRESS
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, S??o Paulo
Cambridge University Press
The Edinburgh Building, Cambridge CB2 8RU, UK
First published in print format
ISBN-13 978-0-521-88655-0
ISBN-13 978-0-521-68761-4
ISBN-13 978-0-511-36784-7
?© Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte 2008
2007
Information on this title: www.
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25