posted by user: amost2012 || 4158 views || tracked by 7 users: [display]

A-MOST 2013 : 9th Workshop on Advances in Model Based Testing

FacebookTwitterLinkedInGoogle


Conference Series : Advances in Model-Based Software Testing
 
Link: http://sites.google.com/site/amost2013
 
When Mar 22, 2013 - Mar 22, 2013
Where Luxembourg
Submission Deadline Jan 7, 2013
Notification Due Feb 1, 2013
Final Version Due Feb 15, 2013
Categories    model based testing
 

Call For Papers

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 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 conference 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 7, 2013 in PDF through
easy-chair submission web-site at
http://www.easychair.org/conferences/?conf=amost2013

Papers will be reviewed by at least three members from the program
committee and notice of accepted papers will be sent before February 1,
2013.
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.

Program Chairs:
---------------
Johan Oudinet, Technische Universität München, Germany
Tejeddine Mouelhi, University of Luxembourg, Luxembourg

Program Committee:
------------------
Kirill Bogdanov, University of Sheffield, UK
Christof Budnik, Siemens Corporate Research, USA
Matthias Büchler,Technische Universität München, Germany
Steve Counsell, Brunel University, UK
Gordon Fraser, University of Sheffield, UK
Angelo Gargantini, University of Bergamo, Italy
Rob Hierons, Brunel University, UK
Bruno Legeard, SmartTesting, France
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Tejeddine Mouelhi, University of Luxembourg, Luxembourg
Brian Nielsen, Aalborg University, Denmark
Manuel Núñez, Universidad Complutense de Madrid, Spain
Johan Oudinet, Technische Universität München, Germany
Mike Papadakis, University of Luxembourg, Luxembourg
Ioannis Parissis, Grenoble Institute of Technology, France
Alexandre Petrenko, CRIM, Canada
Paul Pettersson, Mälardalen University, Sweden
Ina Schieferdecker, Fraunhofer Fokus, Germany
Carsten Weise, IVU Traffic Technologies AG, Germany

Steering Committee:
-------------------
Rob Hierons, Brunel University, UK
Manuel Nunez, Universidad Complutense de Madrid, Spain
Alexander Pretschner, Technische Universität München, Germany

Related Resources

A-MOST 2020   Advances in Model-Based Software Testing
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
MoST-Rec 2019   Workshop on Model Selection and Parameter Tuning in Recommender Systems
SIGSPATIAL 2020   28th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
ICAITA 2020   9th International Conference on Advanced Information Technologies and Applications
INTUITESTBEDS 2020   International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
High-throughput 2019   Special Issue on Recent Advances in Transposable Elements-based Genetic Diversity Assessment, Discovery, and Analysis
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
TMPA 2019   Software Testing, Machine Learning and Complex Process Analysis