Conferences in DBLP
Part I. Testing of Finite State Machines. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:1-3 [Conf ] Sven Sandberg Homing and Synchronizing Sequences. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:5-33 [Conf ] Moez Krichen State Identification. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:35-67 [Conf ] Henrik Björklund State Verification. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:69-86 [Conf ] Angelo Gargantini Conformance Testing. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:87-111 [Conf ] Part II. Testing of Labeled Transition Systems. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:113-115 [Conf ] Stefan D. Bruda Preorder Relations. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:117-149 [Conf ] Valéry Tschaen Test Generation Algorithms Based on Preorder Relations. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:151-171 [Conf ] Machiel van der Bijl , Fabien Peureux I/O-automata Based Testing. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:173-200 [Conf ] Laura Brandán Briones , Mathias Röhl Test Derivation from Timed Automata. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:201-231 [Conf ] Verena Wolf Testing Theory for Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:233-275 [Conf ] Part III. Model-Based Test Case Generation. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:277-279 [Conf ] Alexander Pretschner , Jan Philipps Methodological Issues in Model-Based Testing. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:281-291 [Conf ] Christophe Gaston , Dirk Seifert Evaluating Coverage Based Testing. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:293-322 [Conf ] Levi Lucio , Marko Samer Technology of Test-Case Generation. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:323-354 [Conf ] Kirsten Berkenkötter , Raimund Kirner Real-Time and Hybrid Systems Testing. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:355-387 [Conf ] Part IV. Tools and Case Studies. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:389-390 [Conf ] Axel Belinfante , Lars Frantzen , Christian Schallhart Tools for Test Case Generation. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:391-438 [Conf ] Wolfgang Prenninger , Mohammad El-Ramly , Marc Horstmann Case Studies. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:439-461 [Conf ] Part V. Standardized Test Notation and Execution Architecture. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:463-463 [Conf ] George Din TTCN-3. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:465-496 [Conf ] Zhen Ru Dai UML 2.0 Testing Profile. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:497-521 [Conf ] Part VI. Beyond Testing. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:523-523 [Conf ] Séverine Colin , Leonardo Mariani Run-Time Verification. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:525-555 [Conf ] Therese Berg , Harald Raffelt Model Checking. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:557-603 [Conf ] Part VII. Appendices. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:605-605 [Conf ] Alexander Pretschner , Martin Leucker Model-Based Testing - A Glossary. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:607-609 [Conf ] Bengt Jonsson Finite State Machines. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:611-614 [Conf ] Joost-Pieter Katoen Labelled Transition Systems. [Citation Graph (0, 0)][DBLP ] Model-Based Testing of Reactive Systems, 2004, pp:615-616 [Conf ]