Dagstuhl Seminar Proceedings, Volume 10421,

• Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner 10421 Abstracts Collection – Model-Based Testing in Practice 10.4230/DagSemProc.10421.1
• Wolfgang Grieskamp, Robert M. Hierons, and Alexander Pretschner 10421 Summary – Model-Based Testing in Practice 10.4230/DagSemProc.10421.2