Call for paper 〔OPEN〕

My submissions

〔CLOSED〕
Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

Welcome to the home page of the 11th A-MOST (Advances in Model Based Testing) workshop! The increasing complexity of software results in new challenges for testing. Model Based Testing (MBT) continues to be an important research area, where new approaches, methods and tools make MBT techniques more deployable and useful for industry than ever. Models and different abstractions can ease comprehension of a complex system and ease test generation and automation. A-MOST 2015 will bring together researchers and practitioners interested in the topic of Model Based Testing. The use of models for designing and testing software is currently one of the most salient industrial trends with significant impact on the development and testing processes. Model-based tools and methods from have been successfully applied and continue to converge into comprehensive approaches to software and system engineering. The area encompass models derived from object-oriented software engineering, formal methods, and other mathematical and engineering disciplines. A-MOST will focus on three main areas: The models used in model based testing The processes, techniques, and tools that support model based testing Evaluation of model based testing

Call for paper

Submission Topics

These areas can be further broken down into the following topics: MODELS Models for component, integration and system testing Product-line models (Hybrid) embedded system models Systems-of-systems models Architectural models Models for orchestration and choreography of services Executable models, simulation and model transformations Environment and use models Non-functional models Models for variant-rich and highly configurable systems PROCESSES, METHODS AND TOOLS Model-based test generation algorithms Application of model checking techniques in model-based testing Tracing from requirements model to test models Performance and predictability of model-driven development Test model evolution during the software life-cycle Risk-based approaches for MBT Generation of testing-infrastructures from models Combinatorial approaches for MBT Statistical testing EXPERIENCES AND EVALUATION Non-functional MBT Estimating dependability (e.g., security, safety, reliability) using MBT Coverage metrics and measurements for structural and (non-)functional models Cost of testing, economic impact of MBT Empirical validation, experiences, case studies using MBT
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Apr 13

    2015

    Conference Date

  • Apr 13 2015

    Registration deadline

Sponsored By
Technical University of Graz
Contact Information
Login to view full contact details
Previous Conferences