posted by user: dball || 1815 views || tracked by 10 users: [display]

QuoMBaT 2013 : 2nd Workshop on Quality of Model-Based Testing


When Jul 15, 2013 - Jul 15, 2013
Where Lugano
Submission Deadline Apr 29, 2013
Notification Due May 14, 2013
Final Version Due May 28, 2013
Categories    model-based testing   testing   quality   models

Call For Papers



2nd Workshop on Quality of Model-Based Testing (QuoMBaT)
Co-located with ISSTA 2013

Lugano, Switzerland
July 15, 2013



Model-based testing (MBT) is an advanced testing technique that is becoming more and more popular in the software testing community. Several experience reports and success stories have been presented and published so far. However, the capabilities and limitations of MBT still need to be understood and evaluated in order to adapt the approach in particular testing projects. The workshop on Quality of Model-Based Testing (QuoMBaT) addresses a crucial need for discussing the quality characteristics of MBT approaches: 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 kind of quality criteria is adequate?

The objective of this second QuoMBaT workshop is to offer a forum for researchers and practitioners who are already working in this area or are interested in exploring MBT. Possible topics include, but are not limited to:
- MBT success and failure stories.
- How can or should the quality of approaches, modeling languages, tools and test models be measured?
- How should test cases be generated in order to ensure high quality?
- What statements about SUT quality can be derived from test quality?
- How can model-based testing be evaluated in comparison to other testing approaches?
- What is the fault-detection capability of automatically generated tests compared to those of manually produced tests?
- How can or should model-based testing be integrated into the development processes and accreditation?

Submission of Papers
QuoMBaT is seeking two kinds of submissions: regular and short papers. All submitted contributions must be in ACM format ( and contain original, unpublished work. We invite submissions on experience reports, approaches to measure MBT quality, and the above mentioned topics. The workshop proceedings will be published by ACM. Submission is possible via EasyChair (

Regular Papers: Up to 6 double-column pages, describing original work in the research and practice of model-based testing. Case studies, empirical research and experiments are particularly welcome.
Short Papers: Up to 3 double-column pages, describing research that has not yet produced the results required for a regular paper, but that deserves to be shared with the community at an early stage due to its novelty and potential impact.

Important Dates:
- Deadline for submission of regular and short papers: April 29, 2013
- Notification of acceptance: May 14, 2013
- Deadline for submission of final manuscripts: May 28, 2013
- Workshop: July 15, 2013

Stephan Weißleder, Fraunhofer FOKUS, Germany
Barath Kumar, inIT, Germany
Baris Güldali, s-lab - University of Paderborn, Germany
David Farago, Karlsruher Institut für Technologie, Germany

Program Committee
Paul Ammann, George Mason University, USA
Bob Binder, University of Illinois at Chicago, USA
Tibor Csoendes, Ericsson, Hungary
Jeremy Dicks, Integrate Systems Engineering ltd, UK
Sudipto Ghosh, Colorado State University, USA
Rob Hierons, Brunel University, UK
Yves le Traon, University of Luxembourg, Luxembourg
Michael Mlynarski, QualityMinds, Germany
Jeff Offutt, George Mason University, USA
Zhen Ru Dai, HAW Hamburg, Germany
Ina Schieferdecker, Fraunhofer FOKUS, Germany
Sebastian Wieczorek, SAP Research Center Darmstadt, Germany
Justyna Zander, The MathWorks, Natick, MA, USA

Related Resources

A-MOST 2018   Advances in Model-Based Software Testing
ICSA 2018   International Conference on Software Architecture
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
ITEQS 2018   2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
WOCSE 2017   2017 International Workshop On Complex System Engineering
ICSA 2018   International Conference on Software Architecture
QuASoQ 2017   5th International Workshop on Quantitative Approaches to Software Quality
SIPRO 2018   4th International Conference on Signal and Image Processing
ModComp 2017   4rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2017
The 15th Overture Workshop 2017   The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering