Outcome of a Dagstuhl Seminar: Model-Based Testing of Reactive Systems 2004

Part I. Testing of Finite State Machines

Part II. Testing of Labeled Transition Systems

Part III. Model-Based Test Case Generation

Part IV. Tools and Case Studies

Part V. Standardized Test Notation and Execution Architecture

Part VI. Beyond Testing

Part VII. Appendices