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

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

FacebookTwitterLinkedInGoogle

Link: http://www.fokus.fraunhofer.de/en/fokus_events/motion/motip_2011/index.html
 
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

4th WORKSHOP ON MODEL-BASED TESTING IN PRACTICE

In conjunction with

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

http://www.fokus.fraunhofer.de/go/motip11

*** 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,
performance)
- Quality and validation of test models
- Optimization and prioritization of test case suites
- Combination of model-based testing, model-based inspections, and formal model
analysis
- 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.


Submissions
===========

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


Organization
============

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

Related Resources

A-MOST 2020   Advances in Model-Based Software Testing
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
IMBSA 2020   7th International Symposium on Model-Based Safety and Assessment
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
OCL 2020   20th International Workshop on OCL and Textual Modeling
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
ICDM 2020   20th IEEE International Conference on Data Mining
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
ECML PKDD 2020   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
ISSTA 2020   International Symposium on Software Testing and Analysis