A-MOST 2011 Accepted Papers

Full Papers

Alexander Kamkin, Eugene Kornykhin and Dmitry Vorobyev. Reconfigurable Model-Based Test Program Generator

Omer Landry NGUENA TIMO and Antoine Rollet. Test Selection for Data-Flow Reactive Systems based on   Observations

Frank Boehr. Model Based Statistical Testing of Embedded Systems

Carsten Rütz and Julien Schmaltz. An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON

Jan Peleska and Christof Efkemann. Model-Based Testing for the Second Generation of Integrated Modular Avionics

Johannes Kloos, Robert Eschbach and Tanvir Hussain. Risk-based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis

Ralf Mitsching, Frank Fiedler and Carsten Weise. TripleT: Improving Test Responsiveness for High Performance Embedded Systems

Wilkerson L. Andrade, Patricia Machado, Thierry Jéron and Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems

Short papers

Stephan Weissleder and Thomas Rogenhofer. Simulated Restriction of Coverage Criteria on UML State Machines

Christoph Torens, Lars Ebrecht and Karsten Lemmer. Inverse Model Based Testing - Generating Behavior Models from abstract Test Cases

Marcel Van Amstel, Mark Van Den Brand and Luc Engelen. Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification