posted by user: dball || 2236 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
IJAB 2018   International Journal of Advances in Biology
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
IJCNC 2018   SI on Communication Networks @ IJCNC Scopus, ERA Indexed
RQD 2019   25th ISSAT International Conference on Reliability and Quality in Design
Scopus-ATDMAE 2019   2019 3rd International Conference on Advanced Technologies in Design, Mechanical and Aeronautical Engineering (ATDMAE 2019)
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
Scopus-AMAE 2019   2019 3rd International Conference on Aeronautical Materials and Aerospace Engineering (AMAE 2019).
CyPhy 2018   Workshop on Model-Based Design of Cyber Physical Systems
IJSEA 2018   International Journal of Software Engineering & Applications (IJSEA) *** ERA Indexed ***