15 Case Studies (English)
- New search for: Prenninger, Wolfgang
- New search for: El-Ramly, Mohammad
- New search for: Horstmann, Marc
- New search for: Prenninger, Wolfgang
- New search for: El-Ramly, Mohammad
- New search for: Horstmann, Marc
In:
Model-Based Testing of Reactive Systems
4
;
439-461
;
2005
- Article/Chapter (Book) / Electronic Resource
-
Title:15 Case Studies
-
Contributors:
-
Published in:Model-Based Testing of Reactive Systems , 4 ; 439-461Lecture Notes in Computer Science ; 3472, 4 ; 439-461
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2005-01-01
-
Size:23 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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.
- 1
-
Part I. Testing of Finite State MachinesBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 5
-
1 Homing and Synchronizing SequencesSandberg, Sven et al. | 2005
- 35
-
2 State IdentificationKrichen, Moez et al. | 2005
- 69
-
3 State VerificationBjörklund, Henrik et al. | 2005
- 87
-
4 Conformance TestingGargantini, Angelo et al. | 2005
- 113
-
Part II. Testing of Labeled Transition SystemsBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 117
-
5 Preorder RelationsBruda, Stefan D. et al. | 2005
- 151
-
6 Test Generation Algorithms Based on Preorder RelationsTschaen, Valéry et al. | 2005
- 173
-
7 I/O-automata Based TestingBijl, Machiel / Peureux, Fabien et al. | 2005
- 201
-
8 Test Derivation from Timed AutomataBrandán Briones, Laura / Röhl, Mathias et al. | 2005
- 233
-
9 Testing Theory for Probabilistic SystemsWolf, Verena et al. | 2005
- 277
-
Part III. Model-Based Test Case GenerationBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 281
-
10 Methodological Issues in Model-Based TestingPretschner, Alexander / Philipps, Jan et al. | 2005
- 293
-
11 Evaluating Coverage Based TestingGaston, Christophe / Seifert, Dirk et al. | 2005
- 323
-
12 Technology of Test-Case GenerationLúcio, Levi / Samer, Marko et al. | 2005
- 355
-
13 Real-Time and Hybrid Systems TestingBerkenkötter, Kirsten / Kirner, Raimund et al. | 2005
- 389
-
Part IV. Tools and Case StudiesBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 391
-
14 Tools for Test Case GenerationBelinfante, Axel / Frantzen, Lars / Schallhart, Christian et al. | 2005
- 439
-
15 Case StudiesPrenninger, Wolfgang / El-Ramly, Mohammad / Horstmann, Marc et al. | 2005
- 463
-
Part V. Standardized Test Notation and Execution ArchitectureBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 465
-
16 TTCN-3Din, George et al. | 2005
- 497
-
17 UML 2.0 Testing ProfileDai, Zhen Ru et al. | 2005
- 523
-
Part VI. Beyond TestingBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 525
-
18 Run-Time VerificationColin, Séverine / Mariani, Leonardo et al. | 2005
- 557
-
19 Model CheckingBerg, Therese / Raffelt, Harald et al. | 2005
- 605
-
Part VII. AppendicesBroy, Manfred / Jonsson, Bengt / Katoen, Joost-Pieter / Leucker, Martin / Pretschner, Alexander et al. | 2005
- 607
-
20 Model-Based Testing – A GlossaryPretschner, Alexander / Leucker, Martin et al. | 2005
- 611
-
21 Finite State MachinesJonsson, Bengt et al. | 2005
- 615
-
22 Labelled Transition SystemsKatoen, Joost-Pieter et al. | 2005