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

maintained by Schloss Dagstuhl LZI at University of Trier