----- Original Message -----
From: "Alexandre Kossatchev" <[log in to unmask]>
Subject: Model Based Testing. Call for papers
> Dear colleagues, members of workshop program commitee,
>
> We have sent CfP of our workshop via SEWorld ([log in to unmask]).
> We also ask You to sent it to lists of your choice.
> Due to numerous requests, it was decided to extend the paper submission
> deadline to the end of November.
>
> Sincerely
> Alexander Kossatchev
>
>
> ==================================================
>
>
>
>
>
> Call for paper
>
> International workshop on Model Based Testing,
>
> co-located with ETAPS 2004, - March 27-28, 2004 Barcelona, Spain.
>
> Aims and Scope
>
> This workshop is devoted to model-based testing of both software
and
> hardware. Simply put, models of interest describe the behavior of the
> system
> under consideration. Model- based testing uses the model to guide such
> efforts as test selection and test verification.
> Model-based testing has recently gained attention with the
> popularization of models (including UML models) in software/hardware
design
> and development. There are a number of models in use today, a few of
which
> make good models for testing. Of particular importance are models that
have
> a formal syntax and semantics (such as state machine based formalisms,
> process algebras, logic based formalisms, dataflow languages, action
based
> formalisms, and so on). Test case generation with these models allows one
> to
> measure to what degree a product faithfully implements a given model.
> Techniques to support model-based testing are drawn from areas like
> verification, model checking, control and data flow analysis, grammar
> analysis, Markov chains and various other areas
> The intent of this workshop is to bring these different research
and
> user groups together and to discuss the state of art in theory,
> application,
> tools and industrialization of model-based testing.
> Research papers and industrial usage reports are solicited,
> particular
> in the following areas:
> * Online and offline test sequence generation, methods and
> tools
> * Parameter values selection; methods and tools
> * Runtime verification
> * Test coverage metrics based on model/specification
structure
> * Automatic domain/partition analysis
> * Verification and testing combination
> * Models as test oracles
> * Scenario based test generation
> * Meta programming support for testing
> * Formalisms suitable for model based testing
>
> The Workshop
>
> The workshop will be co-located with European Joint Conference on
> Theory and Practice of Software 2004 March 27 - April 4, Barcelona,
Spain.
> The workshop will be held on March 27-28 2004.
>
> Submission Guidelines
>
> You are invited to submit a paper on related research or case
study.
> We invite both completed work as well as work in progress; the aim of the
> workshop is to stimulate discussion and to bring together people with
> varying backgrounds from disparate communities.
> Submissions should be in English and not exceed 20 pages including
> references and well-marked appendices (using 11-point font, single column
> format). They should be sent as PS or PDF files to [log in to unmask]
> and be accompanied by a text-only message containing: title, abstract and
> keywords, the authors' full names, and address and e-mail for
> correspondence.
>
> Important Dates
>
> November 30th, 2003 Submission of extended abstract
> January 1st, 2004 Notification of acceptance
> February 10th, 2004 Camera-ready copies due
> March 27-28, 2004 Workshop
>
> Program Committee Co-Chairs:
> Alexander K.Petrenko (ISP RAS, Russia, [log in to unmask])
> Yuri Gurevich (Microsoft Research, USA, [log in to unmask])
>
> URL: http://www.ispras.ru/news/MBT2004.html
>
>
>
|