Model-Based Testing 2010: Short Abstracts
- Tretmans, Jan
- Prester, Florian
- Helle, Philipp
- Schamai, Wladimir
Publication date
December 2010
DOI Publisher
Elsevier B.V. ISSN
1571-0661 Citation count (estimate)
3Abstract
AbstractThis 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
Add to ORKG