A theory of model-based testing and how ioco goes eco
conference paper
This article contains three short abstracts of presentations given at the Sixth Workshop on Model-Based Testing (MBT 2010) on March 21, 2010 in Paphos, Cyprus: Theory of Model-Based Testing and How ioco Goes eco by Jan Tretmans (invited presentation), Model-Centric Testing by Florian Prester and Specification Model Based Testing in the Avionic Domain - Current Status and Future Directions by Philipp Helle and Wladimir Schamai.
Topics
TNO Identifier
954125
ISSN
15710661
Publisher
Elsevier
Source title
Electronic Notes in Theoretical Computer Science
Pages
85-99