4th Workshop on Model-based Testing in Practice (MoTiP2012)

In conjunction with the 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2012)

November 27 - 30, 2012 - Dallas, TX USA

Workshop Objectives
===================
The objective of the workshop is to bring together industry and science by providing a platform for discussion, interaction and collaboration. Industrial papers should either describe challenges of system or software testing that could trigger future research activities or present comparable results of applying model-based testing in practice. Research papers are expected to present promising ideas or possible solutions to in-dustrial challenges in the field of model-based testing. Submitted papers should cover at least one of the following topics:

•Model-based test design and specifications
•Test languages and methodologies (e.g. TTCN-3, UML Testing Profile)
•Guidelines, standards and best practices for model-based testing
•Model-based test processes and standard compliance (e.g. IEC 61508, ISO 26262, IEEE 829, ETSI ES 202 951)
•Model-based test approaches for emerging technologies like SOA or Cloud (e.g. SoaML, …)
•Combination of model-based testing, model-based inspections, and formal model analysis
•Model-based testing of non-functional quality properties (e.g. reliability, safety, performance)
•Architecture-driven testing
•Requirements-driven testing with model-based technologies
•Risk-based testing with model-based technologies
•Optimization and prioritization of test case suites
•Tool automation and tool support
•Quality and validation of test models
•Cost and economic impact of model-based testing
•Experience reports and industrial case studies

Submission Details
==================
Authors should submit full papers of up to six pages, following strictly the IEEE Computer Society Proceedings Manuscript style, using two-column, single-space format, with 10-point font size. Figures and references must be included in the six pages. Oversized papers will be automatically rejected by the PC chairs. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings. The best paper will be awarded at the end of the workshop.

Important Dates
===============
•Submission deadline: 7 September 2012
•Notification of acceptance: 28 September 2012
•Camera-ready Version: 5 October 2012
•Presentation: tba (27-30 November 2012)

Organisation
============
•Thomas Bauer, Fraunhofer IESE, Germany
•Marc-Florian Wendland, Fraunhofer FOKUS, Germany
•Sebastian Wieczorek, SAP, Germany

Program Committee
=================
•Bruno Legeard, Smartesting, France
•Alin Stefanescu, Universitatea din Pitesti, Romania
•Wolfgang Grieskamp, Google, USA
•Antti Huima, Conformiq, Finnland
•Rob Hierons, Brunel University, UK
•Dragos Truscan, Åbo Akademi, Finland
•Christopher Robinson-Mallett, Berner & Mattner, Germany
•Lan Lin, University of Tennessee, USA
•Ina Schieferdecker, Fraunhofer FOKUS, Germany
•Jon D. Hagar, Lockheed Martin, USA
•Helmut Götz, Siemens, Germany
•Armin Metzger, sepp.med GmbH, Germany
•Harry Robinson, Microsoft, USA
•Lionel Briand, University of Luxembourg, Luxembourg
•Zhen Ru Dai, HAW Hamburg, Germany