Call For Papers

Co-located with ICST 2011
(4th International Conference on Software Testing, Verification
and Validation)

March 21, 2011, Berlin, Germany

http://amost2011.lcis.grenoble-inp.fr

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.

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).

Submissions:
------------
We invite submissions of full-length (8 pages) papers that describe
new research, tools, technologies, and industry experience.
Short (4 pages) position papers or experience reports are also welcome.
Papers *must* be submitted in PDF format and *must* not exceed
eight pages (including all text, figures, references and appendices).
Each submitted paper must conform to the IEEE Format
and Submission Guidelines and use the IEEE Journal style.
Check http://amost2011.lcis.grenoble-inp.fr for more details.

Proceedings:
------------
Workshop Proceedings will be published in the IEEE Digital Library.