CALL FOR PAPERS QuoMBaT'13 2nd Workshop on Quality of Model-Based Testing (QuoMBaT) Co-located with ISSTA 2013 Lugano, Switzerland July 15, 2013 http://www.model-based-testing.de/quombat13 -------------------------------------------------------------- -------------------------------------------------------------- Scope ----- 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 (http://www.acm.org/sigs/publications/proceedings-templates) 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 (https://www.easychair.org/conferences/?conf=quombat13). 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 15, 2013 - Notification of acceptance: May 14, 2013 - Deadline for submission of final manuscripts: May 28, 2013 - Workshop: July 15, 2013 Organizers ---------- 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