@InProceedings{legeard:DagSemProc.10111.9,
author = {Legeard, Bruno},
title = {{Model-based Testing: Next Generation Functional Software Testing}},
booktitle = {Practical Software Testing : Tool Automation and Human Factors},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10111},
editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.9},
URN = {urn:nbn:de:0030-drops-26207},
doi = {10.4230/DagSemProc.10111.9},
annote = {Keywords: Model-based testing, functional testing, test automation, process industrialization}
}