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]. Springer 2005 Lecture Notes in Computer Science 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
- 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
Part IV. Tools and Case Studies
- Part IV. Tools and Case Studies. 389-390
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
Part VII. Appendices
- Part VII. Appendices. 605-605
- Bengt Jonsson: Finite State Machines. 611-614
- Joost-Pieter Katoen: Labelled Transition Systems. 615-616
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team