The 9th Workshop on Advances in Model Based Testing (A-MOST 2013)

March 22, 2013, Luxembourg, (Co-located with ICST 2013)
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.

A-MOST have a successful history of previous workshops: AMOST 2012,

The best paper award is attributed to: Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene: "Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism".

The program is available here.

Our keynote, Lionel Briand, will present: Model-driven, stress testing of Embedded Systems: A Search-based Approach.
The keynote slides are now available here.