Call for Paper Conference

** Call for papers **

Model-based testing (MBT) encompasses all testing techniques where a system under test (SUT) is compared to a reference specification in form of a model. This includes methods for the generation of test cases from the model, for making a test verdict from a test execution, and for the execution of a system with respect to some given test model or test suite.

The workshop on Quality of Model-Based Testing (QuoMBaT) addresses a crucial need for discussing MBT: How can or should the quality of a newly proposed approach be measured? How can existing approaches be compared? What is the fault-detection capability of an automatically generated test suite compared to that of a manually produced one? Which coverage criteria are adequate? At which level should coverage be measured? Which mutation operators should be used in mutation analysis? Subsumption is used to compare coverage criteria and weak mutation - are there similar approaches for strong mutation? How can model-based testing be evaluated in comparison to other testing approaches? What statements about SUT quality can be derived from test quality?

The objective of this first QuoMBaT workshop is to offer a forum for researchers and practitioners who are working in the area of quality assurance (QA) in MBT:

- Quality measurement for model-based test generation: How should test cases be generated in order to ensure high quality?
- Quality measurement for models and meta models: What makes a good test model?
- Comparisons of approaches to quality measurement: What kind of measurement is most promising?

We emphasize that QuoMBaT is focussed on QA of MBT. So, we are interested in submissions and discussions about the evaluation and
comparison of existing techniques or measureable improvements. Correspondingly, we are not interested in new modeling techniques, but
in how to measure the quality of modeling techniques. The same holds for test generation, test execution, test oracles, test evaluation, and MBT itself.


** Submissions and Publication **
Submitted papers must not exceed 10 pages in the two-column IEEE format ( http://vps.it-sudparis.eu/icst2010/icst2010v4_fichiers/instruct8.5x11x2.pdf ). There will be an award for the best paper. The corresponding authors will receive it at the workshop. Furthermore, all accepted papers will be published in the ACM digital library.


** Workshop Format **
Beside the traditional presentation sessions, QuoMBaT will include a workshop where the members of the audience will be able to bring their opinions on the topics presented in the papers and on further discussion topics. We anticipate an enjoyable and exciting event where many important thoughts (or doubts) about the required/anticipated/demanded quality of MBT can be exchanged.


** Important Dates **
Submission : January 22nd, 2010
Notification to authors: March 1, 2010
Final version: March 15, 2010