posted by user: amost2012 || 2624 views || tracked by 9 users: [display]

A-MOST 2012 : The 8th Workshop on Advances in Model Based Testing


Conference Series : Advances in Model-Based Software Testing
When Apr 17, 2012 - Apr 17, 2012
Where Montreal, Quebec, Canada
Submission Deadline Jan 31, 2012
Notification Due Feb 24, 2012
Final Version Due Mar 30, 2012
Categories    model based testing   model-checking   model-driven development   empirical validation

Call For Papers

A-MOST 2012: The 8th Workshop on Advances in Model Based Testing
April 17, 2012, Montreal, Canada
Co-located with IEEE International Conference on Software Testing, Verification and Validation (ICST)

Important Dates:
* Paper submission: January 31, 2012
* Author notification: February 24, 2012
* Camera-ready version due: March 30, 2012
* Workshop date: April 17, 2012

About A-MOST 2012:
The increasing complexity of software results in new challenges for
testing. Model Based Testing (MBT) continue 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 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:
This workshop would like to encourage the submission of original
papers that deal with any of the following topics, but not limited to:
1. The models used in MBT
2. The processes, techniques, and tools that support MBT
3. Evaluation (i.e., the evaluation of software using MBT and the
evaluation of MBT) Models
4. Models for component, integration and system testing
5. Product-line models & (Hybrid) embedded system models
6. Systems-of-systems models & Architectural models
7. Models for orchestration and choreography of services
8. Executable models and simulation
9. Environment and use models
10. Non-functional models and quantitative MBT
11. Model-based test generation algorithms
12. Application of model checking techniques in model-based testing
13. Tracing from requirements model to test models
14. Performance and predictability of model-driven development
15. Test model evolution during the software lifecycle
16. Generation of testing-infrastructures from models
17. Combinatorial approaches for MBT Statistical testing
18. Estimating dependability (e.g., security, safety, reliability) using MBT
19. Coverage metrics and measurements for structural and (non-)functional models
20. Cost of testing, economic impact of MBT
21. Empirical validation, experiences, case studies using MBT

Submission and Proceedings:
Full papers should be submitted before January 31, 2012 in PDF through
easy-chair submission web-site at

Papers will be reviewed by at least three members from the program
committee and notice of accepted papers will be sent before February
24, 2012.

Accepted papers must be orally presented during the workshop to be
published within ICST proceedings. Accepted papers will be published
in the IEEE Digital Library. Additionally, the author(s) of the best
paper will be invited to publish an extended version of their work for
inclusion in the Information and Software Technology journal.

Program Chairs:
Johan Oudinet, Karlsruhe Institute of Technology, Germany
Sigrid Eldh, Ericsson AB, Sweden

Program Committee:
Kirill Bogdanov, University of Sheffiled, UK
Matthias Büchler, Karlsruhe Institute of Technology, Germany
Sigrid Eldh, Ericsson AB, Sweden
Gordon Fraser, Saarland University, Germany
Rob Hierons, Brunel University, UK
Teemu Kanstrén, VTT Technical Research Center, Finland
Mika Katara, Tampere University of Technology, Finland
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Henry Muccini, University of L'Aquila, Italy
Brian Nielsen, Aalborg, Denmark
Manuel Núñez, Universidad Complutense de Madrid, Spain
Jeff Offutt, George Mason University, USA
Johan Oudinet, Karlsruhe Institute of Technology, Germany
Ioannis Parissis, Grenoble Institute of Technology, France
Alexandre Petrenko, CRIM, Canada
Paul Pettersson, Mälardalen University, Sweden
Ina Schieferdecker, Fraunhofer Focus, Germany
Carsten Weise, IVU Traffic Technologies AG, Germany

Steering Committee:
Rob Hierons, Brunel University, UK
Manuel Nunez, Universidad Complutense de Madrid, Spain
Jesse Poore, University of Tennessee, USA
Alexander Pretschner, Karlsruhe Institute of Technology, Germany

Related Resources

MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
FORMATS 2018   16th International Conference on Formal Modeling and Analysis of Timed Systems
A-MOST 2018   Advances in Model-Based Software Testing
ICSEA 2018   The Thirteenth International Conference on Software Engineering Advances
VALID 2018   The Tenth International Conference on Advances in System Testing and Validation Lifecycle
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
WASA 2018   The Fourth International Workshop on Automotive System/Software Architectures
FASSI 2018   The Fourth International Conference on Fundamentals and Advances in Software Systems Integration
AITIJ 2018   Advances in Interconnect Technologies: An International Journal
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems