From 17.10. to 22.10.2010, the Dagstuhl Seminar 10421 ``Model-Based Testing in Practice '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.During the seminar, several participants presented their currentresearch, and ongoing work and open problems were discussed. Abstracts ofthe presentations given during the seminar as well as abstracts ofseminar results and ideas are put together in this paper. The first sectiondescribes the seminar topics and goals in general.Links to extended abstracts or full papers are provided, if available.
Feedback for Dagstuhl Publishing