posted by organizer: xdevroey || 4593 views || tracked by 12 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Advances in Model-Based Software Testing
 
Link: http://a-most17.zen-tools.com
 
When Mar 17, 2017 - Mar 17, 2017
Where Tokyo, Japan
Submission Deadline Dec 11, 2016
Notification Due Jan 18, 2017
Final Version Due Jan 27, 2017
Categories    software testing   model based testing   computer science   software engineering
 

Call For Papers

The 13th Workshop on Advances in Model Based Testing (A-MOST’17) Co-located with IEEE International Conference on Software Testing, Verification and Validation (ICST’17)

March 17th, 2017 in Tokyo, Japan

http://a-most17.zen-tools.com/

-----------
Important Dates:
-----------
Full and Short papers:
Paper submission: December 11th, 2016
Author notification: January 18th, 2017

Abstracts from already published papers:
Submission: February, 1st, 2017
Notification: February, 10th, 2017

Conference date: March 17th, 2017

-----------
Topics of Interest
-----------
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.

Topics of Interest (not exhaustive):
• The models used in MBT
• The processes, techniques, and tools that support MBT
• Evaluation (i.e., the evaluation of software using MBT and the evaluation of MBT) 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 and simulation
• Environment and use models
• Non-functional models and quantitative MBT
• 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 lifecycle
• Generation of testing-infrastructures from models
• Combinatorial approaches for MBT Statistical testing
• 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 paper:
-----------
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. 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.

Submission link: https://easychair.org/conferences/?conf=amost2017

Program Chairs:
Paolo Arcaini, Charles University, Czech Republic
Xavier Devroey, University of Namur, Belgium
Shuai Wang, Simula Research Laboratory, Norway

Related Resources

A-MOST 2018   Advances in Model-Based Software Testing
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ISSTA 2018   International Symposium on Software Testing and Analysis
ISSEA 2018   Special Session on Intelligent Systems and Software Engineering Advances
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
ART 2018   IEEE Transactions on Reliability Special Section on Adaptive Random Testing
AIAP 2018   5th International Conference on Artificial Intelligence and Applications
ART 2018   IEEE Transactions on Reliability Special Section on Adaptive Random Testing
WOCSE 2017   2017 International Workshop On Complex System Engineering