posted by user: anurag_bms || 1268 views || tracked by 4 users: [display]

A MOST 2014 : 10th Workshop on Advances in Model Based Testing


When Apr 4, 2014 - Apr 4, 2014
Where ICST
Submission Deadline Jan 20, 2014

Call For Papers

Welcome to the home page of the 10th 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 2014 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

Levi LĂșcio, McGill University, Canada
Tejeddine Mouelhi, University of Luxembourg, Luxembourg

Related Resources

A-MOST 2017   Advances in Model-Based Software Testing
ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
SATT - 2016   Software Algorithms, Tools, and Technologies for Model Verification and Validation
COMMitMDE 2016   1st International Workshop on Collaborative Modelling in MDE
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017
ISSTA 2017   International Symposium on Software Testing and Analysis
AMOST 2016   A-MOST 2016 : The 12th Workshop on Advances in Model Based Testing
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference