C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model-Based Testing of Reactive Systems
2004
2005
2004
2005
Keyphrases
Publications
volume 3472, 2005
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]
Model-Based Testing of Reactive Systems
3472 (2005)
2004
George Din
TTCN-3.
Model-Based Testing of Reactive Systems
(2004)
Zhen Ru Dai
UML 2.0 Testing Profile.
Model-Based Testing of Reactive Systems
(2004)
Machiel van der Bijl
,
Fabien Peureux
I/O-automata Based Testing.
Model-Based Testing of Reactive Systems
(2004)
Kirsten Berkenkötter
,
Raimund Kirner
Real-Time and Hybrid Systems Testing.
Model-Based Testing of Reactive Systems
(2004)
Henrik Björklund
State Verification.
Model-Based Testing of Reactive Systems
(2004)
Part V. Standardized Test Notation and Execution Architecture.
Model-Based Testing of Reactive Systems
(2004)
Levi Lucio
,
Marko Samer
Technology of Test-Case Generation.
Model-Based Testing of Reactive Systems
(2004)
Axel Belinfante
,
Lars Frantzen
,
Christian Schallhart
Tools for Test Case Generation.
Model-Based Testing of Reactive Systems
(2004)
Part VI. Beyond Testing.
Model-Based Testing of Reactive Systems
(2004)
Laura Brandán Briones
,
Mathias Röhl
Test Derivation from Timed Automata.
Model-Based Testing of Reactive Systems
(2004)
Part VII. Appendices.
Model-Based Testing of Reactive Systems
(2004)
Valéry Tschaen
Test Generation Algorithms Based on Preorder Relations.
Model-Based Testing of Reactive Systems
(2004)
Part IV. Tools and Case Studies.
Model-Based Testing of Reactive Systems
(2004)
Alexander Pretschner
,
Martin Leucker
Model-Based Testing - A Glossary.
Model-Based Testing of Reactive Systems
(2004)
Bengt Jonsson
Finite State Machines.
Model-Based Testing of Reactive Systems
(2004)
Alexander Pretschner
,
Jan Philipps
Methodological Issues in Model-Based Testing.
Model-Based Testing of Reactive Systems
(2004)
Stefan D. Bruda
Preorder Relations.
Model-Based Testing of Reactive Systems
(2004)
Part III. Model-Based Test Case Generation.
Model-Based Testing of Reactive Systems
(2004)
Part II. Testing of Labeled Transition Systems.
Model-Based Testing of Reactive Systems
(2004)
Angelo Gargantini
Conformance Testing.
Model-Based Testing of Reactive Systems
(2004)
Part I. Testing of Finite State Machines.
Model-Based Testing of Reactive Systems
(2004)
Sven Sandberg
Homing and Synchronizing Sequences.
Model-Based Testing of Reactive Systems
(2004)
Wolfgang Prenninger
,
Mohammad El-Ramly
,
Marc Horstmann
Case Studies.
Model-Based Testing of Reactive Systems
(2004)
Verena Wolf
Testing Theory for Probabilistic Systems.
Model-Based Testing of Reactive Systems
(2004)
Moez Krichen
State Identification.
Model-Based Testing of Reactive Systems
(2004)
Christophe Gaston
,
Dirk Seifert
Evaluating Coverage Based Testing.
Model-Based Testing of Reactive Systems
(2004)
Joost-Pieter Katoen
Labelled Transition Systems.
Model-Based Testing of Reactive Systems
(2004)
Séverine Colin
,
Leonardo Mariani
Run-Time Verification.
Model-Based Testing of Reactive Systems
(2004)
Therese Berg
,
Harald Raffelt
Model Checking.
Model-Based Testing of Reactive Systems
(2004)