posted by user: tretmans || 9062 views || tracked by 24 users: [display]

MBT 2011 : Model-Based Testing

FacebookTwitterLinkedInGoogle

Link: http://www.mbt-workshop.org
 
When Apr 2, 2011 - Apr 3, 2011
Where Saarbrücken
Submission Deadline Dec 6, 2010
Notification Due Jan 24, 2011
Final Version Due Feb 5, 2011
Categories    software testing   testing   model-driven development   verification
 

Call For Papers


MBT 2011

Seventh Workshop on Model-Based Testing

April 2-3, 2011, Saarbrücken, Germany
http://mbt-workshop.org/


Satellite workshop of ETAPS 2011

CALL FOR PAPERS

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves.

Model-based testing has gained attention with the popularization of models in software/hardware design and development. Of particular importance are formal models with precise semantics, such as state-based formalisms, algebraic specifications, or other mathematical descriptions of possible system behavior. Testing with such models allows one to detect subtle bugs and at the same time to measure the degree of the product's conformance with the model.

Techniques to support model-based testing are drawn from diverse areas, like deductive verification, model checking, constraint solving, control and data flow analysis, grammar analysis, Markov processes, etc.

The intent of this workshop is to bring together researchers and users of model-based testing techniques and tools to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing and related domains.

WORKSHOP HISTORY

MBT 2011 is the seventh event in a series of ETAPS satellite workshops.
MBT 2004, historically the first meeting to focus on model-based testing, was held March 27-28, 2004, in Barcelona, Spain. MBT 2006 was held in Vienna, Austria; MBT 2007 - in Braga, Portugal; MBT 2008 - in Budapest, Hungary; MBT 2009 - in York, UK; and MBT 2010 – in Paphos, Cyprus.
The proceedings have appeared in ENTCS (volumes 111, 164, 190, 220, 253, proceedings of MBT 2010 are in preparation).

SUBMISSION TOPICS

Original submissions are solicited from representatives of both industry and academia. They are invited to present their work, plans, and views related to model-based testing. The topics of interest include but are not limited to:

* Online and offline test sequence generation methods and tools
* Test data selection methods and tools
* Runtime verification integrated with testing
* Model-based test coverage metrics
* Automatic domain/partition analysis
* Combination of formal verification and testing
* Test oracle construction techniques
* Scenario based test generation
* Language/technology support for testing
* Formalisms and formal models suitable for model-based testing
* Applications of model checking techniques in testing
* Use of constraint solving and constraint inference in testing
* Game-theoretic and probabilistic approaches to test selection
* Model-based testing of non-functional requirements (security, performance, etc.)
* Problems and achievements of model-based testing in industry

IMPORTANT DATES

Paper submissions: December 6, 2010
Notification of acceptance: January 24, 2011
Final versions: February 5, 2011

PAPER SUBMISSION

Research papers should be limited to 15 pages in ENTCS format, describing significant research results based on sound theory or experimental assessment.

We also solicit industry experience papers on the use of model-based testing in industrial environments and analysis of results obtained. Such papers should be limited to 15 pages, too.

Paper submission is now open at
http://www.easychair.org/conferences/?conf=mbt2011

Workshop proceedings will be distributed by the organizers of ETAPS 2011. In addition, it is intended that post-workshop proceedings will be published in some electronic edition.

WEBSITE
http://mbt-workshop.org/


PROGRAM COMMITTEE

Bruno Legeard (Smartesting, France), co-chair
Alexander K. Petrenko (ISP RAS, Russia), co-chair
Jan Tretmans (Embedded Systems Institute, The Netherlands), co-chair

Bernhard K. Aichernig (Graz University of Technology, Austria)
Jonathan Bowen (University of Westminster, UK)
Mirko Conrad (The MathWorks GmbH, Germany)
John Derrick (University of Sheffield, UK)
Bernd Finkbeiner (Universität des Saarlandes, Germany)
Patrice Godefroid (Microsoft Research, USA)
Ziyad Hanna (Jasper Design Automation, USA)
Antti Huima (Conformiq Software Ltd., Finland)
Alexander S. Kossatchev (ISP RAS, Russia)
Mounier Laurent (VERIMAG, France)
Bruno Marre (Universite Paris-Sud, France)
Axel Mauritz (EADS, Germany)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Fabien Peureux (University of Franche-Comté, France)
Natasha Sharygina (University of Lugano, Switzerland)
Nikolai Tillmann (Microsoft Research, USA)
Nina Yevtushenko (Tomsk State University, Russia)

Related Resources

MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
LOPSTR 2024   LOPSTR 2024 -- Preliminary Call for Papers
TAP 2024   18th International Conference on Tests and Proofs
Electronics : Special Issue 2024   Combining Model-Based and Data-Driven Methods in Human–Computer Interaction
MoDRE 2024   Workshop on Model-Driven Requirements Engineering (MoDRE) at RE'24
CIPHERSS 2024   1st Workshop on Critical Infrastructure PHysical-cybER Safety and Security
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
SMM4H 2024   The 9th Social Media Mining for Health Research and Applications Workshop and Shared Tasks — Large Language Models (LLMs) and Generalizability for Social Media NLP