Table of contents for Model-based testing of reactive systems : advanced lectures / Manfred Broy ... [et al.] (eds.).


Bibliographic record and links to related information available from the Library of Congress catalog
Note: Electronic data is machine generated. May be incomplete or contain other coding.


Counter
Part I. Testing of Finite State Machines
1  Homing and Synchronizing Sequences ........................      5
Sven Sandberg
2  State Identification ........................................ 35
Moez Krichen
3  State  Verification  ...........................................  69
Henrik Bjorklund
4   Conformance Testing....................................... 87
Angelo Gargantini
Part II. Testing of Labeled Transition Systems
5  Preorder Relations ......................................... 117
Stefan D. Bruda
6  Test Generation Algorithms Based on Preorder Relations .... 151
Val6ry Tschaen
7  I/O-automata Based Testing .............................. 173
Machiel van der Bijl, Fabien Peureux
8  Test Derivation from Timed Automata ....................... 201
Laura Branddn Briones, Mathias Rohl
9  Testing Theory for Probabilistic Systems ..................... 233
Verena Wolf
Part III. Model-Based Test Case Generation
10   Methodological Issues in Model-Based Testing .............. 281
Alexander Pretschner, Jan Philipps
11  Evaluating Coverage Based Testing ......................... 293
Christophe Gaston, Dirk Seifert
12   Technology of Test-Case Generation ........................ 323
Levi Licio, Marko Samer
13   Real-Time and Hybrid Systems Testing ..................... 355
Kirsten Berkenkotter, Raimund Kirner
Part IV. Tools and Case Studies
14   Tools for Test Case Generation ............................. 391
Axel Belinfante, Lars Frantzen, Christian Schallhart
15   Case Studies .................................       .......... 439
Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann
Part V. Standardized Test Notation and Execution Architecture
16   TTCN-3 ..............      ....................   ............465
George Din
17   UML 2.0 Testing Profile ............      ................... 497
Zhen Ru Dai
Part VI. Beyond Testing
18   Run-Time Verification ......................      ............ 525
S6verine Colin, Leonardo Mariani
19   Model Checking ..................    ..........   ........... . 557
Therese Berg, Harald Raffelt
Part VII. Appendices
20   Model-Based Testing - A Glossary .......................... 607
Alexander Pretschner, Martin Leucker
21   Finite State Machines ................. .  ................... 611
Bengt Jonsson
22   Labelled Transition Systems ............................... .615
Joost-Pieter Katoen



Library of Congress subject headings for this publication: Computer software Testing, Information technology