6th Workshop on Advances in Model Based Testing (A-MOST 2010)

Workshop Description
The increasing use of software and the growing system complexity, in size, heterogeneity, autonomy, physical distribution, and dynamicity make focused software system testing a challenging task. Recent years have seen an increasing industrial and academic interest in the use of models for designing and testing software. Success has been reported using a range of types of models using a variety of specification formats, notations and formal languages, such as UML, SDL, B and Z.

News
The deadline for paper submission has been extended to the 15th of February, and the notification date has been moved to the 1st of March.
The A-MOST workshop has merged with the QuoMBaT workshop for ICST 2010.
Registration for the workshop is now open! The deadline for early registration is March 7th.

Objective
The goal of the A-MOST workshop is to bring together researchers and practitioners to discuss the current state of the art and practice as well as future prospects for Model-Based software Testing (MBT). Issues to be considered are:

Models:
· Models for component, integration and system testing
· Product-line models
· (Hybrid) embedded system models
· Systems-of-systems models
· Architectural models
· Models for orchestration and choreography of services
· Executable models and simulation
· Environment and use models
· Non-functional models

Processes, Methods and Tools:
· Model-based test generation algorithms
· Application of model checking techniques in model-based testing
· Tracing from requirements model to test models
· Performance and predictability of model-driven development
· Test model evolution during the software lifecycle
· Risk-based approaches for MBT
· Generation of testing-infrastructures from models
· Combinatorial approaches for MBT
· Statistical testing

Experiences and Evaluation:
· Non-functional/Quantitative MBT
· Estimating dependability (e.g., security, safety, reliability) using MBT
· Coverage metrics and measurements for structural and (non-)functional models
· Cost of testing, economic impact of MBT
· Empirical validation, experiences, case studies using MBT

A-MOST '10 Workshop Program

8:30 - Welcome
9:00 - 10:00 - Keynote
10:00 - 11:00 - Session 1 11:00 - 11:30 - Coffee Break
11:30 - 12:30 - Session 2
12:30 - 14:30 - Lunch Break
14:30 - 16:00 - Session 3
16:00 - 16:30 - Coffee Break
16:30 - 17:30 - Session 4

Proceedings

Accepted papers will be published in the IEEE Digital Library. Additionally, the authors of the three best papers will be invited to submit an extended version of their work for inclusion inside a special section of the Information and Software Technology journal.

Registration
Please refer to details at ICST 2010 for registration, hotel reservations, and visa letter requests.

Important Dates
· Submission deadline (extended): 15th February 2010
· Notification of acceptance for participation/presentation (moved): 5th March 2010
· Early registration deadline: 7th March 2010
· Final papers: 20th March 2010
· Workshop: 6th April 2010

6th Workshop on Advances in Model Based Testing A-MOST 2010 co-located with the 3rd International Conference on Software Testing, Verification and Validation ICST 2010 April 6, 2010 – Paris, France
\| Home \| News \| Workshop Description \| Objective \| Call for Papers \| Submission \| Accepted Papers \| Workshop Program \| Workshop Proceedings \| Registration \| Important Dates \| Contact \| Editorial Notes \|
Workshop Organization Robert Eschbach Fraunhofer IESE, Germany Jesse Poore University of Tennessee, USA Programme Committee · Robert Eschbach · Gordon Fraser · Stacy Prowell · Bob Binder · Jeff Offutt · Lars Frantzen · Antti Huima · Rob Hierons · Angelo Gargantini · Alexander Pretschner · Manuel Nunez · Alexandre Petrenko · Steve Counsell · Ina Schieferdecker · Carsten Weise · Mercedes Merayo · Wolfgang Grieskamp · Jesse Poore · Mikhail Auguston · Brian Nielsen · Ioannis Parissis · Franz Wotawa · Paul Ammann · Hasan Ural	Workshop Description The increasing use of software and the growing system complexity, in size, heterogeneity, autonomy, physical distribution, and dynamicity make focused software system testing a challenging task. Recent years have seen an increasing industrial and academic interest in the use of models for designing and testing software. Success has been reported using a range of types of models using a variety of specification formats, notations and formal languages, such as UML, SDL, B and Z. News The deadline for paper submission has been extended to the 15th of February, and the notification date has been moved to the 1st of March. The A-MOST workshop has merged with the QuoMBaT workshop for ICST 2010. Registration for the workshop is now open! The deadline for early registration is March 7th. Objective The goal of the A-MOST workshop is to bring together researchers and practitioners to discuss the current state of the art and practice as well as future prospects for Model-Based software Testing (MBT). Issues to be considered are: Models: · Models for component, integration and system testing · Product-line models · (Hybrid) embedded system models · Systems-of-systems models · Architectural models · Models for orchestration and choreography of services · Executable models and simulation · Environment and use models · Non-functional models Processes, Methods and Tools: · Model-based test generation algorithms · Application of model checking techniques in model-based testing · Tracing from requirements model to test models · Performance and predictability of model-driven development · Test model evolution during the software lifecycle · Risk-based approaches for MBT · Generation of testing-infrastructures from models · Combinatorial approaches for MBT · Statistical testing Experiences and Evaluation: · Non-functional/Quantitative MBT · Estimating dependability (e.g., security, safety, reliability) using MBT · Coverage metrics and measurements for structural and (non-)functional models · Cost of testing, economic impact of MBT · Empirical validation, experiences, case studies using MBT A-MOST '10 Call for Papers The call for papers can be found here. Submission of papers Papers can be submitted using EasyChair at this page. Accepted Papers Gordon Fraser and Angelo Gargantini. Generating minimal fault detecting test suites for Boolean expressions Ekaterina Akenshina, Natalia Shabaldina and Nina Yevtushenko. Deriving exhaustive test suites for nondeterministic FSMs w.r.t. non-separability relation Fabrice Bouquet, BUE Pierre-christophe, Jacques Julliand and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests Adenilso Simao and Alexandre Petrenko. From Test Purposes to Asynchronous Test Cases Christopher Robinson-Mallett, Jens Köhnlein, Matthias Grochtmann and Joachim Wegener. Modeling requirements to support testing of product-lines Sebastien Salva and Issam Rabhi: A preliminary study on BPEL process testability Yves Le Traon, Tejeddine Mouelhi, Frank Fleurey and Benoit Baudry: Language-specific vs.language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies Peter Lakey: A Measurement Framework for Assessing Model-Based Testing Quality Baris Güldali, Michael Mlynarski and Yavuz Sancar: Effort Comparison of Model-based Testing Scenarios A-MOST '10 Workshop Program 8:30 - Welcome 9:00 - 10:00 - Keynote 10:00 - 11:00 - Session 1 11:00 - 11:30 - Coffee Break 11:30 - 12:30 - Session 2 12:30 - 14:30 - Lunch Break 14:30 - 16:00 - Session 3 16:00 - 16:30 - Coffee Break 16:30 - 17:30 - Session 4 Proceedings Accepted papers will be published in the IEEE Digital Library. Additionally, the authors of the three best papers will be invited to submit an extended version of their work for inclusion inside a special section of the Information and Software Technology journal. Registration Please refer to details at ICST 2010 for registration, hotel reservations, and visa letter requests. Important Dates · Submission deadline (extended): 15th February 2010 · Notification of acceptance for participation/presentation (moved): 5th March 2010 · Early registration deadline: 7th March 2010 · Final papers: 20th March 2010 · Workshop: 6th April 2010 Contact E-Mail to the organizers: amost10@iese.fraunhofer.de.