고정 헤더 영역
상세 컨텐츠
본문
반응형
해리 로빈슨이 MBT 2008 워크숍에 대한 메일을 보내 왔다. (물론 내게 직접 보낸건 아니다.)
계속 논의가 되고 이슈가 되는 모양이다. ^^
MBT 2008
Fourth Workshop on Model-Based Testing
March 30, 2008 Budapest, Hungary
http://react. cs.uni-sb. de/mbt2008/
Satellite workshop of ETAPS 2008
http://etaps08. mit.bme.hu/
Call for Papers
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.
WORKSHOP HISTORY
MBT 2008 is the fourth 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. The
proceedings appeared in ENTCS volume 111.
http://www.ispras. ru/news/MBT2004. html
MBT 2006 was held March 25-26, 2006, in Vienna, Austria. The
proceedings appeared in ENTCS volume 164.
http://react. cs.uni-sb. de/mbt2006/
MBT 2007 was held March 31 - April 1, 2007, in Braga, Portugal. The
proceedings appeared in ENTCS volume 190.
http://react. cs.uni-sb. de/mbt2007/
SUBMISSION TOPICS
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:
Model-based specification and testing in industry: problems and
achievements
Online and offline test sequence generation methods and tools
Test data selection methods and tools
Runtime verification
Model-based test coverage metrics
Automatic domain/partition analysis
Combination of verification and testing
Models as test oracles
Scenario based test generation
Meta programming support for testing
Formalisms suitable for model-based specification and testing
Application of model checking techniques in model-based testing
Game theoretic approaches to testing
IMPORTANT DATES
Paper submissions: December 8, 2007
Notification of acceptance: January 14, 2008
Final versions: January 30, 2008
PAPER SUBMISSION
Research papers should be limited to 12 pages in LNCS format (see
http://www.springer .de/comp/ lncs/authors. html), describing
significant research results based on sound theory or experimental
assessment.
We also solicit industry experience papers, about the use of
model-based testing in industrial environments. Such papers should be
limited to 12 pages, too.
Workshop proceedings will be distributed by the organizers of
ETAPS 2008. It is intended also that selected contributions will be
published in a journal.
WEBSITE
http://react. cs.uni-sb. de/mbt2008/
ORGANIZING COMMITTEE
Bernd Finkbeiner (Universitaet des Saarlandes, Germany)
Yuri Gurevich (Microsoft Research, USA)
Alexander K. Petrenko (ISP RAS, Russia)
PROGRAM COMMITTEE
Bernhard K. Aichernig, Graz University of Technology, Austria
Jonathan Bowen, Museophile Limited, UK (to be confirmed)
Mirko Conrad, The MathWorks GmbH, Germany
John Derrick, University of Kent, UK
Bernd Finkbeiner, Universitaet des Saarlandes, Germany
Marie-Claude Gaudel, Universite Paris-Sud, France
Susanne Graf, Verimag, Grenoble, France
Yuri Gurevich, Microsoft Research, USA
Alexander S. Kossatchev, ISP RAS, Russia
Darko Marinov, University of Illinois, USA
Bruno Marre, Universite Paris-Sud, France
Alexander K. Petrenko, ISP RAS, Russia
Alexandre Petrenko, Computer Research Institute of Montreal, Canada
Nikolai Tillmann, Microsoft Research, USA
Jan Tretmans, Embedded Systems Institute, Eindhoven, The Netherlands
(to be confirmed)
Nina Yevtushenko, Tomsk State University, Russia (to be confirmed)
계속 논의가 되고 이슈가 되는 모양이다. ^^
MBT 2008
Fourth Workshop on Model-Based Testing
March 30, 2008 Budapest, Hungary
http://react. cs.uni-sb. de/mbt2008/
Satellite workshop of ETAPS 2008
http://etaps08. mit.bme.hu/
Call for Papers
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.
WORKSHOP HISTORY
MBT 2008 is the fourth 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. The
proceedings appeared in ENTCS volume 111.
http://www.ispras. ru/news/MBT2004. html
MBT 2006 was held March 25-26, 2006, in Vienna, Austria. The
proceedings appeared in ENTCS volume 164.
http://react. cs.uni-sb. de/mbt2006/
MBT 2007 was held March 31 - April 1, 2007, in Braga, Portugal. The
proceedings appeared in ENTCS volume 190.
http://react. cs.uni-sb. de/mbt2007/
SUBMISSION TOPICS
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:
Model-based specification and testing in industry: problems and
achievements
Online and offline test sequence generation methods and tools
Test data selection methods and tools
Runtime verification
Model-based test coverage metrics
Automatic domain/partition analysis
Combination of verification and testing
Models as test oracles
Scenario based test generation
Meta programming support for testing
Formalisms suitable for model-based specification and testing
Application of model checking techniques in model-based testing
Game theoretic approaches to testing
IMPORTANT DATES
Paper submissions: December 8, 2007
Notification of acceptance: January 14, 2008
Final versions: January 30, 2008
PAPER SUBMISSION
Research papers should be limited to 12 pages in LNCS format (see
http://www.springer .de/comp/ lncs/authors. html), describing
significant research results based on sound theory or experimental
assessment.
We also solicit industry experience papers, about the use of
model-based testing in industrial environments. Such papers should be
limited to 12 pages, too.
Workshop proceedings will be distributed by the organizers of
ETAPS 2008. It is intended also that selected contributions will be
published in a journal.
WEBSITE
http://react. cs.uni-sb. de/mbt2008/
ORGANIZING COMMITTEE
Bernd Finkbeiner (Universitaet des Saarlandes, Germany)
Yuri Gurevich (Microsoft Research, USA)
Alexander K. Petrenko (ISP RAS, Russia)
PROGRAM COMMITTEE
Bernhard K. Aichernig, Graz University of Technology, Austria
Jonathan Bowen, Museophile Limited, UK (to be confirmed)
Mirko Conrad, The MathWorks GmbH, Germany
John Derrick, University of Kent, UK
Bernd Finkbeiner, Universitaet des Saarlandes, Germany
Marie-Claude Gaudel, Universite Paris-Sud, France
Susanne Graf, Verimag, Grenoble, France
Yuri Gurevich, Microsoft Research, USA
Alexander S. Kossatchev, ISP RAS, Russia
Darko Marinov, University of Illinois, USA
Bruno Marre, Universite Paris-Sud, France
Alexander K. Petrenko, ISP RAS, Russia
Alexandre Petrenko, Computer Research Institute of Montreal, Canada
Nikolai Tillmann, Microsoft Research, USA
Jan Tretmans, Embedded Systems Institute, Eindhoven, The Netherlands
(to be confirmed)
Nina Yevtushenko, Tomsk State University, Russia (to be confirmed)
반응형
댓글 영역