posted by user: thomasbauer || 3005 views || tracked by 11 users: [display]

MoTiP 2012 : 4th Workshop on Model-based Testing in Practice


When Nov 27, 2012 - Nov 30, 2012
Where Dallas, TX USA
Submission Deadline Sep 7, 2012
Notification Due Sep 28, 2012
Final Version Due Oct 5, 2012
Categories    software engineering   model-based testing   verification and validation   software quality

Call For Papers

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)

•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, GmbH, Germany
•Harry Robinson, Microsoft, USA
•Lionel Briand, University of Luxembourg, Luxembourg
•Zhen Ru Dai, HAW Hamburg, Germany

Related Resources

PoEM 2022   The Practice of Enterprise Modeling
IEEE ICSTE 2022   IEEE--2022 12th International Conference on Software Technology and Engineering (ICSTE 2022)
Embedded Systems for AI-Based Health Mon 2022   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
MODELSWARD 2023   11th International Conference on Model-Based Software and Systems Engineering
AISO 2022   8th International Conference on Artificial Intelligence and Soft Computing
SERD 2022   2022 International Conference on Software Engineering Research & Development
IEEE--ISCMI 2022   IEEE--2022 9th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2022)--SCIE
OCL 2022   21st International Workshop on OCL and Textual Modeling
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems