posted by user: frantzen || 5381 views || tracked by 19 users: [display]

A-MOST 2011 : 7th Workshop on Advances in Model Based Testing

FacebookTwitterLinkedInGoogle


Conference Series : Advances in Model-Based Software Testing
 
Link: http://amost2011.lcis.grenoble-inp.fr
 
When Mar 21, 2011 - Mar 21, 2011
Where Berlin
Submission Deadline Jan 7, 2011
Notification Due Feb 1, 2011
Final Version Due Mar 11, 2011
Categories    testing   software testing   validation   verification
 

Call For Papers

----------------------------------------------------
NEW: Submission deadline extended to January 7, 2011
----------------------------------------------------

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

Topics of Interest include (but are not limited to):
----------------------------------------------------
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
- Models of SUT, properties and environments

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


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.

Important Dates:
----------------
Submission Deadline: January 7, 2011 !NEW!
Notification: February 1, 2011
Camera-Ready: March 11, 2011
Workshop: March 21, 2011


Organization:
-------------
Christof Budnik, Siemens Corporate Research, USA
Ioannis Parissis, Grenoble INP-LCIS, France

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


Steering Committee:
--------------------
Rob Hierons, Brunel University, UK (rob.hierons@brunel.ac.uk)
Manuel Nunez, Universidad Complutense de Madrid, Spain (mn@sip.ucm.es)
Jesse Poore, University of Tennessee, (poore@eecs.utk.edu)
Alexander Pretschner, Fraunhofer IESE, Germany (alexander.pretschner@iese.fraunhofer.de)

Related Resources

A-MOST 2018   Advances in Model-Based Software Testing
AI 2017   3rd International Conference on Artificial Intelligence and Applications
MSEJ 2017   Advances in Materials Science and Engineering: An International Journal (MSEJ)
NMOCT 2017   3rd International Conference on Networks, Mobile Communications and Telematics (NMOCT-2017)
WOCSE 2017   2017 International Workshop On Complex System Engineering
VLSIA 2017   3rd International Conference on VLSI and Applications
ModComp 2017   4rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2017
SIPRO 2018   4th International Conference on Signal and Image Processing
The 15th Overture Workshop 2017   The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things