posted by user: dball || 3168 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 2021   Advances in Model-Based Software Testing
CSIA 2021   12th International Conference on Communications Security & Information Assurance
EuroSTAR Conference 2021   29th EuroSTAR Software Testing & Quality Conference
IJITMC 2021   The International Journal of Information Technology, Modeling and Computing
BlockArch 2021   Second Workshop on Blockchain-Based Software Architectures (BlockArch 2021)
SOEN 2021   6th International Conference on Software Engineering
RoSE 2021   3rd International Workshop on Robotic Software Engineering (Extended Deadline)
VALID 2021   The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
MEDI 2021   10th International Conference on Model and Data Engineering