default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOutcome of a Dagstuhl Seminar: Model-Based Testing of Reactive Systems 2004
- Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
