9th Workshop on Advances in Model Based Testing, Luxembourg, Luxemburg

Abbrevation

A-MOST

Link

http://sites.google.com/site/amost2013

City

Luxembourg

Country

Luxembourg

Deadline Paper

2013-01-07

Start Date

2013-03-22

End Date

2013-03-22

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. 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