posted by organizer: xdevroey || 3163 views || tracked by 8 users: [display]

A-MOST 2018 : Advances in Model-Based Software Testing

FacebookTwitterLinkedInGoogle


Conference Series : Advances in Model-Based Software Testing
 
Link: https://amost2018.wordpress.com
 
When Apr 13, 2018 - Apr 13, 2018
Where Västerås, Sweden
Submission Deadline Jan 19, 2018
Notification Due Feb 18, 2018
Final Version Due Feb 28, 2018
Categories    software testing   model-based testing   computer science   software engineering
 

Call For Papers

14th Workshop on Advances in Model Based Testing (A-MOST) @ICST 2018, Västerås, Sweden

https://amost2018.wordpress.com

------------
Abstract
------------

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. A-MOST has proven to be a successful workshop that brings researchers and practitioners together discussing formal and semi-formal approaches, specification formats and notations that contribute to simplifying complex aspects of a system. The goal is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT.

------------
Important dates
------------

Paper submission: Jan. 19th, 2018
Author notification: Feb. 19th, 2018
Camera ready: Feb. 28th, 2018

Workshop date: Apr. 13th, 2018

------------
List of 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 to MBT
Symbolic execution-based techniques
Tracing from requirements models to test models
Performance and predictability of MBT
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
Non-functional MBT

EXPERIENCES AND EVALUATION

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

------------
Full and short papers
------------

All papers must be original and not simultaneously submitted to another journal or conference. Papers should not exceed 10 pages (including all text, figures, references and appendices) for full papers or 6 pages for short experience and position papers. Each submitted paper must conform to the IEEE two-column publication format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Papers will be reviewed by at least three members from the program committee. Accepted papers will be published in the IEEE Digital Library.

------------
Abstracts from already published papers
------------

This year we also solicit abstracts from already published papers in relevant well known venues (conferences or journals). These will be selected based on the relevance, quality and importance of the paper. Selected abstracts will be presented and discussed in the workshop, similar to the regular papers, but will not be included in the proceedings. Though, their title and abstracts will be mentioned in the workshop summary.

------------
Organizing committee
------------

Paolo Arcaini, Charles University, Czech Republic
Xavier Devroey, TU Delft, The Netherlands
João Pascoal Faria, University of Porto, Portugal

Related Resources

FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
IJIST 2018   The International Journal of Information Science & techniques
MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
ICSEA 2018   The Thirteenth International Conference on Software Engineering Advances
IJMPICT 2018   International Journal of Managing Public Sector Information and Communication Technologies
IJRAP 2018   International Journal of Recent advances in Physics
RASS 2018   Special issue on Recent Advances in Software Security - EURASIP Journal on Information Security
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
MODELSWARD 2019   7th International Conference on Model-Driven Engineering and Software Development