Bruno Legeard. Model-based Testing: Next Generation Functional Software Testing. In Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie, editors, Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
Abstract is missing.