posted by user: petermiller || 3946 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

ICDM 2020   20th IEEE International Conference on Data Mining
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
ModComp 2020   ModComp 2020 Call for Papers
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
UYMS 2020   14. Turkish National Software Engineering Symposium
ECML PKDD 2020   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
ISSTA 2021   International Symposium on Software Testing and Analysis
SESBC 2020   International Conference on Software Engineering, Security and Blockchain