dblp.uni-trier.de www.uni-trier.de

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

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (Eds.): Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Lecture Notes in Computer Science 3472 Springer 2005, ISBN 3-540-26278-4 BibTeX

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

Copyright © Sat May 16 23:05:02 2009 by Michael Ley (ley@uni-trier.de)