Abstract is missing.
- Part I. Testing of Finite State Machines1-3 [doi]
- Homing and Synchronizing SequencesSven Sandberg. 5-33 [doi]
- State IdentificationMoez Krichen. 35-67 [doi]
- State VerificationHenrik Björklund. 69-86 [doi]
- Conformance TestingAngelo Gargantini. 87-111 [doi]
- Part II. Testing of Labeled Transition Systems113-115 [doi]
- Preorder RelationsStefan D. Bruda. 117-149 [doi]
- Test Generation Algorithms Based on Preorder RelationsValéry Tschaen. 151-171 [doi]
- I/O-automata Based TestingMachiel van der Bijl, Fabien Peureux. 173-200 [doi]
- Test Derivation from Timed AutomataLaura Brandán Briones, Mathias Röhl. 201-231 [doi]
- Testing Theory for Probabilistic SystemsVerena Wolf. 233-275 [doi]
- Part III. Model-Based Test Case Generation277-279 [doi]
- Methodological Issues in Model-Based TestingAlexander Pretschner, Jan Philipps. 281-291 [doi]
- Evaluating Coverage Based TestingChristophe Gaston, Dirk Seifert. 293-322 [doi]
- Technology of Test-Case GenerationLevi Lucio, Marko Samer. 323-354 [doi]
- Real-Time and Hybrid Systems TestingKirsten Berkenkötter, Raimund Kirner. 355-387 [doi]
- Part IV. Tools and Case Studies389-390 [doi]
- Tools for Test Case GenerationAxel Belinfante, Lars Frantzen, Christian Schallhart. 391-438 [doi]
- Case StudiesWolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann. 439-461 [doi]
- Part V. Standardized Test Notation and Execution Architecture463-463 [doi]
- TTCN-3George Din. 465-496 [doi]
- UML 2.0 Testing ProfileZhen Ru Dai. 497-521 [doi]
- Part VI. Beyond Testing523-523 [doi]
- Run-Time VerificationSéverine Colin, Leonardo Mariani. 525-555 [doi]
- Model CheckingTherese Berg, Harald Raffelt. 557-603 [doi]
- Part VII. Appendices605-605 [doi]
- Model-Based Testing - A GlossaryAlexander Pretschner, Martin Leucker. 607-609 [doi]
- Finite State MachinesBengt Jonsson. 611-614 [doi]
- Labelled Transition SystemsJoost-Pieter Katoen. 615-616 [doi]