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. IBFI, Schloss Dagstuhl, Germany 2005 Dagstuhl Seminar Proceedings 04371
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 Abstracts Collection - Perspectives of Model-Based Testing.



