Dagstuhl Seminar Proceedings 04371

Perspectives of Model-Based Testing

E. Brinksma, W. Grieskamp, J. Tretmans (Eds.)

Peer-Reviewed by the Editors

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 04371, 05.09. - 10.09.2004
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Brinksma, Ed
  • Conrad, Mirko
  • Grieskamp, Wolfgang
  • Koopman, Pieter
  • Larsen, Kim G.
  • Mikucionis, Marius
  • Nielsen, Brian
  • Tretmans, Jan

  •   
    04371 Abstracts Collection -- Perspectives of Model-Based Testing
    Authors: Brinksma, Ed ; Grieskamp, Wolfgang ; Tretmans, Jan

    Abstract | Document (167 KB) | BibTeX

    04371 Summary -- Perspectives of Model-Based Testing
    Authors: Brinksma, Ed ; Grieskamp, Wolfgang ; Tretmans, Jan

    Abstract | Document (363 KB) | BibTeX

    Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work
    Authors: Larsen, Kim G. ; Mikucionis, Marius ; Nielsen, Brian

    Abstract | Document (604 KB) | BibTeX

    Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES)
    Authors: Conrad, Mirko

    Abstract | Document (467 KB) | Document 2 (214 KB) | BibTeX

    Testing with Functions as Specifications
    Authors: Koopman, Pieter

    Abstract | Document (204 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI