posted by user: dball || 2142 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

MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
IJMPICT 2018   International Journal of Managing Public Sector Information and Communication Technologies
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
IJAB 2018   International Journal of Advances in Biology
MoDRE 2018   8th Int. Workshop on Model-Driven Requirements Engineering (MoDRE)
QA3C 2018   Quality Assurance in the Context of Cloud Computing 2018
IJGTT 2018   International Journal of Game Theory and Technology
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
AITIJ 2018   Advances in Interconnect Technologies: An International Journal
CyPhy 2018   Workshop on Model-Based Design of Cyber Physical Systems