Model-Based Testing - A Glossary (English)
- New search for: Pretschner, A.
- New search for: Leucker, M.
- New search for: Pretschner, A.
- New search for: Leucker, M.
- New search for: Broy, M.
In:
Model-based testing of reactive systems: advanced lectures
3472
;
607-610
;
2005
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Model-Based Testing - A Glossary
-
Contributors:
-
Conference:Research seminar, Model-based testing of reactive systems: advanced lectures ; 2004 ; Dagstuhl, Germany
-
Published in:Model-based testing of reactive systems: advanced lectures , 3472 ; 607-610LECTURE NOTES IN COMPUTER SCIENCE , 3472 ; 607-610
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , [London]
-
Publication date:2005-01-01
-
Size:4 pages
-
Remarks:Based on those presented at the seminar. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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