@inproceedings{inproceedings, title = {{10421 Summary - Model-Based Testing in Practice.}}, publisher = {{Schloss Dagstuhl - Leibniz-Zentrum f眉r Informatik, Germany}}, url = {{http://drops.dagstuhl.de/portals/10421/ }}, year = {{2010}}, month = {{1}}, author = {{Grieskamp W and Hierons RM and Pretschner A}}, volume = {{10421}}, journal = {{Model-Based Testing in Practice}}, note = {{Accessed on 2025/08/16}}}