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 I. Testing of Finite State Machines. 1-3
Electronic Edition (link) BibTeX
Sven Sandberg:
Homing and Synchronizing Sequences. 5-33
Electronic Edition (link) BibTeX
Moez Krichen:
State Identification. 35-67
Electronic Edition (link) BibTeX
Henrik Björklund:
State Verification. 69-86
Electronic Edition (link) BibTeX
Angelo Gargantini:
Conformance Testing. 87-111
Electronic Edition (link) BibTeX

Part II. Testing of Labeled Transition Systems. 113-115
Electronic Edition (link) BibTeX
Stefan D. Bruda:
Preorder Relations. 117-149
Electronic Edition (link) BibTeX
Valéry Tschaen:
Test Generation Algorithms Based on Preorder Relations. 151-171
Electronic Edition (link) BibTeX
Machiel van der Bijl, Fabien Peureux:
I/O-automata Based Testing. 173-200
Electronic Edition (link) BibTeX
Laura Brandán Briones, Mathias Röhl:
Test Derivation from Timed Automata. 201-231
Electronic Edition (link) BibTeX
Verena Wolf:
Testing Theory for Probabilistic Systems. 233-275
Electronic Edition (link) BibTeX

Part III. Model-Based Test Case Generation. 277-279
Electronic Edition (link) BibTeX
Alexander Pretschner, Jan Philipps:
Methodological Issues in Model-Based Testing. 281-291
Electronic Edition (link) BibTeX
Christophe Gaston, Dirk Seifert:
Evaluating Coverage Based Testing. 293-322
Electronic Edition (link) BibTeX
Levi Lucio, Marko Samer:
Technology of Test-Case Generation. 323-354
Electronic Edition (link) BibTeX
Kirsten Berkenkötter, Raimund Kirner:
Real-Time and Hybrid Systems Testing. 355-387
Electronic Edition (link) BibTeX

Part V. Standardized Test Notation and Execution Architecture. 463-463
Electronic Edition (link) BibTeX
George Din:
TTCN-3. 465-496
Electronic Edition (link) BibTeX
Zhen Ru Dai:
UML 2.0 Testing Profile. 497-521
Electronic Edition (link) BibTeX

Part VII. Appendices. 605-605
Electronic Edition (link) BibTeX
Alexander Pretschner, Martin Leucker:
Model-Based Testing - A Glossary. 607-609
Electronic Edition (link) BibTeX
Bengt Jonsson:
Finite State Machines. 611-614
Electronic Edition (link) BibTeX
Joost-Pieter Katoen:
Labelled Transition Systems. 615-616
Electronic Edition (link) BibTeX