Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004] (English)
- New search for: Broy, Manfred
- Further information on Broy, Manfred:
- http://d-nb.info/gnd/109602137
2005
-
ISBN:
- Conference Proceedings / Print
-
Title:Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]
-
Contributors:Broy, Manfred ( editor )
-
Conference:Research Seminar ; 2004 ; Schloss Dagstuhl, Wadern
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , Heidelberg [u.a.]
-
Publication date:2005
-
Size:VIII, 659 S.
-
Remarks:235 mm x 155 mm
graph. Darst.
Digital preservation by Badische Landesbibliothek -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Print
-
Language:English
-
Contract number:11498490
- New search for: 68M15 / 68-02 / *68Q60 / 68-06
- Further information on Mathematics Subject Classification
- New search for: 004 / 004.24 / 005.14 / 005.1/4
- Further information on Dewey Decimal Classification
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 5
-
Homing and Synchronizing SequencesSandberg, S. et al. | 2005
- 35
-
State IdentificationKrichen, M. et al. | 2005
- 69
-
State VerificationBjorklund, H. et al. | 2005
- 87
-
Conformance TestingGargantini, A. et al. | 2005
- 117
-
Preorder RelationsBruda, S. D. et al. | 2005
- 151
-
Test Generation Algorithms Based on Preorder RelationsTschaen, V. et al. | 2005
- 173
-
I/O-automata Based Testingvan der Bijl, M. / Peureux, F. et al. | 2005
- 201
-
Test Derivation from Timed AutomataBriones, L. B. / Rohl, M. et al. | 2005
- 233
-
Testing Theory for Probabilistic SystemsWolf, V. et al. | 2005
- 281
-
Methodological Issues in Model-Based TestingPretschner, A. / Philipps, J. et al. | 2005
- 293
-
Evaluating Coverage Based TestingGaston, C. / Seifert, D. et al. | 2005
- 323
-
Technology of Test-Case GenerationLucio, L. / Samer, M. et al. | 2005
- 355
-
Real-Time and Hybrid Systems TestingBerkenkotter, K. / Kirner, R. et al. | 2005
- 391
-
Tools for Test Case GenerationBelinfante, A. / Frantzen, L. / Schallhart, C. et al. | 2005
- 439
-
Case StudiesPrenninger, W. / El-Ramly, M. / Horstmann, M. et al. | 2005
- 465
-
TTCN-3Din, G. et al. | 2005
- 497
-
UML 2.0 Testing ProfileDai, Z. R. et al. | 2005
- 525
-
Run-Time VerificationColin, S. / Mariani, L. et al. | 2005
- 557
-
Model CheckingBerg, T. / Raffelt, H. et al. | 2005
- 607
-
Model-Based Testing - A GlossaryPretschner, A. / Leucker, M. et al. | 2005
- 611
-
Finite State MachinesJonsson, B. et al. | 2005
- 615
-
Labelled Transition SystemsKatoen, J.-P. et al. | 2005