@InProceedings{brinksma_et_al:DagSemProc.04371.2,
author = {Brinksma, Ed and Grieskamp, Wolfgang and Tretmans, Jan},
title = {{04371 Summary – Perspectives of Model-Based Testing}},
booktitle = {Perspectives of Model-Based Testing},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4371},
editor = {Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.2},
URN = {urn:nbn:de:0030-drops-3640},
doi = {10.4230/DagSemProc.04371.2},
annote = {Keywords: Model-based testing, software testing, formal methods, automatic test generation}
}