|
Workshop
Organization
Christof
Budnik
Siemens Corporation, Corporate Research
USA
Ioannis Parissis
University of Grenoble
Grenoble INP-LCIS
France
Steering
Committee
Rob Hierons, Brunel
University, UK
Manuel Nunez, Universidad Complutense de Madrid, Spain
Jesse Poore, University of
Tennessee, USA
Alexander Pretschner, Fraunhofer IESE, Germany
Programme Committee
Paul Ammann, George Mason University, USA
Mikhail Auguston, NPS, USA
Bob Binder, mVerify Corporation, USA
Christof Budnik, Siemens Corporate Research, USA
Steve Counsell, Brunel
University, UK
Robert Eschbach, Fraunhofer IESE, Germany
Gordon Fraser, Saarland
University, Germany
Lars Frantzen, Radboud University Nijmegen, Netherlands
Angelo Gargantini, University of Bargamo, Italy
Wolfgang Grieskamp, Microsoft Research, USA
Rob Hierons, Brunel University, UK
Lan Lin, University of
Tennessee, USA
Mercedes MerayoUniversidad Complutense de Madrid, Spain
Brian Nielsen, Aalborg
University, Denmark
Manuel Nunez, Universidad Complutense de Madrid, Spain
Jeff Offut, George Mason University, USA
Ioannis Parissis, University of
Grenoble, France
Alexandre Petrenko, CRIM, Canada
Jesse Poore, University of
Tennessee, USA
Alexander Pretschner, Karlsruhe Institute of Technology, Germany
Carsten Weise, RWTH Aachen University, Germany
Franz Wotawa, Technische Universitaet Graz, Austria
|
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
2010-12-20 : Deadline extended to January
7, 2011
2011-02-01 : Accepted papers
2011-02-28 : Workshop program
2011-03-02 : Call for participation
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 '11 Call for Papers
The call for papers can be found here.
Submission of papers
Papers can be submitted using EasyChair at this page.
A-MOST '11 Workshop
Program
Proceedings
Accepted papers will be published in the IEEE Digital Library.
Registration
Please refer to details at ICST 2011 for registration, hotel
reservations, and visa letter requests.
Important Dates
· Submission deadline : 22nd December 2010 7th
January 2011
· Notification of acceptance for
participation/presentation: 1st February 2011
· Final papers: 18th
March 2011
· Workshop: 21st
March 2011
Contact
E-Mail to the organizers: amost2011@lcis.grenoble-inp.fr
|