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

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