Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing 2004

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (Eds.): Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371 IBFI, Schloss Dagstuhl, Germany 2005 BibTeX

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.
Electronic Edition (link) BibTeX
Pieter W. M. Koopman:
Testing with Functions as Specifications.
Electronic Edition (link) BibTeX
Mirko Conrad:
Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES).
Electronic Edition (link) BibTeX
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Summary - Perspectives of Model-Based Testing.
Electronic Edition (link) BibTeX
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Abstracts Collection - Perspectives of Model-Based Testing.
Electronic Edition (link) BibTeX