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

Part I. Testing of Finite State Machines

Part I. Testing of Finite State Machines. 1-3
Sven Sandberg:
Homing and Synchronizing Sequences. 5-33
Moez Krichen:
State Identification. 35-67
Henrik Björklund:
State Verification. 69-86
Angelo Gargantini:
Conformance Testing. 87-111

Part II. Testing of Labeled Transition Systems

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

Part III. Model-Based Test Case Generation

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

Part IV. Tools and Case Studies

Part IV. Tools and Case Studies. 389-390
Axel Belinfante, Lars Frantzen, Christian Schallhart:
Tools for Test Case Generation. 391-438
Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann:
Case Studies. 439-461

Part V. Standardized Test Notation and Execution Architecture

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

Part VI. Beyond Testing

Part VI. Beyond Testing. 523-523
Séverine Colin, Leonardo Mariani:
Run-Time Verification. 525-555
Therese Berg, Harald Raffelt:
Model Checking. 557-603

Part VII. Appendices

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

Last update Wed Feb 15 04:58:48 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page