posted by user: petermiller || 3603 views || tracked by 8 users: [display]

MOTIP 2011 : 4th Workshop on Model-Based Testing in Practice


When Aug 31, 2011 - Sep 2, 2011
Where Paphos, Cyprus
Submission Deadline Apr 15, 2011
Notification Due May 15, 2011
Final Version Due May 31, 2011
Categories    software engineering   MDE   MBT   quality

Call For Papers


In conjunction with

11th IEEE International Conference on Computer and Information Technology
Paphos, Cyprus, 31 August - 02 September 2011

*** Deadline for submissions: 15 April 2011 ***

Workshop Goal

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 industrial 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 and best practices for model-based testing
- Model-based test approaches for emerging technologies like SOA or Cloud
- Model-based test processes and standard compliance (e.g. IEC 61508, ISO 26262,
IEEE 829, ISO 14971)
- Executable test models and simulation
- Derivation of test models from system models
- Architecture-driven testing
- Requirements-driven testing
- Risk-based testing with model-based technologies
- Test models for non-functional quality properties (e.g. reliability, safety,
- Quality and validation of test models
- Optimization and prioritization of test case suites
- Combination of model-based testing, model-based inspections, and formal model
- Tool automation and tool support
- Cost and economic impact of model-based testing
- Experience reports and case studies

All accepted papers will be published by IEEE.


Authors should submit full papers of up to 6 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
6 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 date: 15 April 2011
Notification of acceptance: 15 May 2011
Submission of camera-ready version: 31 May 2011


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

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
A-MOST 2020   Advances in Model-Based Software Testing
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
INTUITESTBEDS 2020   International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software
AIAA 2019   9th International Conference on Artificial Intelligence, Soft Computing and Applications
ModComp 2019   6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2019
CFIMA 2020-Ei Compendex & Scopus 2020   2020 International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2020)
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)
CBIoT 2020   International Conference on Cloud, Big Data and IoT