| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 421861 | Electronic Notes in Theoretical Computer Science | 2010 | 15 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
