The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2004 (conf/dagstuhl/2004test)


  1. Part I. Testing of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:1-3 [Conf]
  2. Sven Sandberg
    Homing and Synchronizing Sequences. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:5-33 [Conf]
  3. Moez Krichen
    State Identification. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:35-67 [Conf]
  4. Henrik Björklund
    State Verification. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:69-86 [Conf]
  5. Angelo Gargantini
    Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:87-111 [Conf]

  6. Part II. Testing of Labeled Transition Systems. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:113-115 [Conf]
  7. Stefan D. Bruda
    Preorder Relations. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:117-149 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Verena Wolf
    Testing Theory for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:233-275 [Conf]

  12. Part III. Model-Based Test Case Generation. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:277-279 [Conf]
  13. 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]
  14. Christophe Gaston, Dirk Seifert
    Evaluating Coverage Based Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:293-322 [Conf]
  15. 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]
  16. 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]

  17. Part IV. Tools and Case Studies. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:389-390 [Conf]
  18. 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]
  19. 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]

  20. Part V. Standardized Test Notation and Execution Architecture. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:463-463 [Conf]
  21. George Din
    TTCN-3. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:465-496 [Conf]
  22. Zhen Ru Dai
    UML 2.0 Testing Profile. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:497-521 [Conf]

  23. Part VI. Beyond Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:523-523 [Conf]
  24. Séverine Colin, Leonardo Mariani
    Run-Time Verification. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:525-555 [Conf]
  25. Therese Berg, Harald Raffelt
    Model Checking. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:557-603 [Conf]

  26. Part VII. Appendices. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:605-605 [Conf]
  27. 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]
  28. Bengt Jonsson
    Finite State Machines. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:611-614 [Conf]
  29. Joost-Pieter Katoen
    Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:615-616 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002