posted by user: thomasbauer || 3184 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 2023   The Practice of Enterprise Modeling
IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
ICTSS 2023   The 34th IFIP International Conference on Testing Software and Systems
ICMLT 2024   2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
Embedded Systems for AI-Based Health Mon 2023   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
Electronics : Special Issue 2024   Combining Model-Based and Data-Driven Methods in Human–Computer Interaction
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
ICCTA 2024   2024 10th International Conference on Computer Technology Applications (ICCTA 2024)