09:00 - 10:30 SESSION 1
Aims and Scope
The workshop is devoted to model-based testing of both software and hardware. Model-based testing is closely related to model-based specification. Models are used to describe the behavior of the system under consideration and to guide such efforts as test selection and test results evaluation. Both testing and verification are used to validate models against the requirements and check that the implementation conforms to the specification model.
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. Testing with such models allows one to measure the degree of the product's conformance with the model.
Techniques to support model-based testing are drawn from diverse areas, like formal verification, model checking, control and data flow analysis, grammar analysis, and Markov decision processes.
The intent of this workshop is to bring together researchers and users of models for to discuss the state of the art in theory, applications, tools, and industrialization of model-based specification, testing and verification.
MBT 2009 is the fifth 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
Original submissions are solicited from 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
Paper submissions – December 22, 2008 (extended)
Online paper submission has closed.
We also solicit INDUSTRY EXPERIENCE PAPERS, about the use of model-based testing in industrial environments. Such papers should be limited to 15 pages too.
Workshop proceedings will be distributed by the organizers of ETAPS’09. It is intended also that selected contributions will be published in a journal.
Bernhard K. Aichernig (Graz University of Technology, Austria)