QuoMBaT 2010

         1st Workshop on Quality of Model-Based Testing
          http://www.model-based-testing.de/quombat10/

                         Paris, France
                        April 10, 2010

                  Co-located  with  ICST  2010
               http://vps.it-sudparis.eu/icst2010



** 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 ACM format ("http://www.acm.org/sigs/publications/proceedings-templates" Option 2, including permission block, etc). 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 : February 1, 2010
Notification to authors: March 1, 2010
Final version: March 15, 2010


** Program Committee **

Paul Ammann (George Mason University, USA)
Benoit Baudry (IRISA, France)
Fabrice Bouquet (University Franche Comte, France)
Ruth Breu (Innsbruck University, Austria)
Alain Faivre (CEA LIST, France)
Sudipto Ghosh (Colorado State University, USA)
Martin Gogolla (University Bremen, Germany)
Wolfgang Grieskamp (Microsoft, USA)
Mark Harman (King's College London, UK)
Rob Hierons (Brunel University, United Kingdom)
Yves Le Traon (University of Luxembourg, Luxembourg)
Bruno Legeard (Smartesting, France)
Levi Lœcio (Universidade Nova de Lisboa, Portugal)
Ana Paiva (University of Porto, Portugal)
Alexander Pretschner (Fraunhofer IESE / TU Kaiserslautern, Germany)
Bernhard Rumpe (RWTH Aachen, Germany)
Ina Schieferdecker (Fraunhofer FOKUS / TU Berlin, Germany)
Holger Schlingloff (Fraunhofer FIRST / HU Berlin, Germany)
Elisangela Vieira (Alcatel Lucent, France)
Stephan Weißleder (Fraunhofer FIRST / HU Berlin, Germany)

** Organization Committee **

Stephan Weißleder (Fraunhofer FIRST / HU Berlin, Germany)
Levi Lúcio (Universidade Nova de Lisboa, Portugal)
Holger Schlingloff (Fraunhofer FIRST / HU Berlin, Germany)