Conformance Testing (English)

In: Model-based testing of reactive systems: advanced lectures   ,  3472  ;  87-116  ;  2005

How to get this document?

Table of contents conference proceedings

The table of contents of the conference proceedings is generated automatically, so it can be incomplete, although all articles are available in the TIB.

5
Homing and Synchronizing Sequences
Sandberg, S. | 2005
35
State Identification
Krichen, M. | 2005
69
State Verification
Bjorklund, H. | 2005
87
Conformance Testing
Gargantini, A. | 2005
117
Preorder Relations
Bruda, S. D. | 2005
151
Test Generation Algorithms Based on Preorder Relations
Tschaen, V. | 2005
173
I/O-automata Based Testing
van der Bijl, M. / Peureux, F. | 2005
201
Test Derivation from Timed Automata
Briones, L. B. / Rohl, M. | 2005
233
Testing Theory for Probabilistic Systems
Wolf, V. | 2005
281
Methodological Issues in Model-Based Testing
Pretschner, A. / Philipps, J. | 2005
293
Evaluating Coverage Based Testing
Gaston, C. / Seifert, D. | 2005
323
Technology of Test-Case Generation
Lucio, L. / Samer, M. | 2005
355
Real-Time and Hybrid Systems Testing
Berkenkotter, K. / Kirner, R. | 2005
391
Tools for Test Case Generation
Belinfante, A. / Frantzen, L. / Schallhart, C. | 2005
439
Case Studies
Prenninger, W. / El-Ramly, M. / Horstmann, M. | 2005
465
TTCN-3
Din, G. | 2005
497
UML 2.0 Testing Profile
Dai, Z. R. | 2005
525
Run-Time Verification
Colin, S. / Mariani, L. | 2005
557
Model Checking
Berg, T. / Raffelt, H. | 2005
607
Model-Based Testing - A Glossary
Pretschner, A. / Leucker, M. | 2005
611
Finite State Machines
Jonsson, B. | 2005
615
Labelled Transition Systems
Katoen, J.-P. | 2005