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

April 17, 2012, Montréal, Quebec, Canada (Co-located with ICST 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.

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

(The program is available)
Read more

Date: April 17, 2012
Venue: OMNI Hotel