The GI/ITG Conference on Measurement, Modeling and Evaluation of Computer and Communication Systems (MMB) is the premier conference in Germany covering all aspects of performance evaluation issues. Since 1981 it has been a major forum to present and discuss the most recent advances, trends, and concerns. In the context of the MMB 2006 we invite the submission of papers to the first edition of the Workshop on Model-based Testing.
In recent years testing techniques have lost their negative image of being vague and not provable compared to verification and model-checking approaches. The reason for that is a more and more mature technology, which is often based on profound modeling and specification techniques. However, the growing size of new applications for pervasive computing, web-based eCommerce, embedded system technologies and the demands for shorter time-to-market mean that many issues still remain open, and a combination of model-based and specification-driven testing techniques can help us to address them.
The workshop aims to bring together practitioners, researchers, academics, and students to discuss the state-of-the-art of testing.