Dagstuhl Seminar Proceedings, Volume 4371,

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