[ecoop-info] CfP: CSTVA'11 - 3rd International Workshop on Constraints in Software Testing, Verification and Analysis

[Gordon Fraser]

                        *******************
                        * CALL FOR PAPERS *
                        *******************

                 CSTVA'11 - 3rd International Workshop on 
       Constraints in Software Testing, Verification and Analysis
                http://www.st.cs.uni-saarland.de/cstva11/

A workshop of ICST'11, the 4th IEEE International Conference on
Software Testing Verification and Validation, held in Berlin, 2011,
March 21.

Important dates:
================
Submission  :  ***December 21, 2010***
Notification:  ***February  1, 2011***

Special news:
=============
Two ***special awards***, granted by Microsoft Research in the context
of the Verified Software Initiative (qpq.csl.sri.com/vsr/vsi.pdf) will
be delivered during the workshop:
- A price of 200EUR to the authors of the best research paper
- A price of 100EUR to the authors of the best tool demo or fast
  abstract paper

In addition, CSTVA'11 will feature an invited presentation of
Patrice Godefroid, Principal Researcher at Microsoft Research
https://research.microsoft.com/en-us/um/people/pg/

Submission:
===========
Research papers (***6 pages max***)
Authors are invited to submit original contributions in the form of an
extended abstract of 6 pages using the two-column IEEE format,
presenting new ideas, new results or new systems in constraint-based
testing. Papers should not be published or submitted elsewhere during
the time of evaluation.

Tool demo papers or fast abstract papers (***2 pages max***) 
Authors are invited to propose tool demonstrations or fast abstract,
under the form of an abstract of 2 pages using the two-column IEEE
format, presenting new tools, new challenges or late breaking results
in constraint-based testing.

All the papers accepted for presentation at the workshop will be
published within the proceedings. Authors of the best papers will
invited to submit longer versions to a main Software Engineering
Journal.

Topics:
=======
Recent years have seen an increasing interest in the application of
constraint solving techniques to the testing and analysis of software
systems. A significant body of constraint-based techniques have been
proposed and investigated in model-based testing, code-based testing,
property-oriented testing, statistical testing, etc. The central idea
behind these techniques is designing or using existing constraint
solvers such as SMT solvers to deal with boolean, integer, real,
floating-point data types, enumerated types, control structures,
complex data structures, method calls and so on. The constraint
systems that result from these analyses usually share some common
features such as being heterogeneous and highly dynamic. This also led
to the design of domain-specific heuristics able to exploit the
structure of programs or specification models.

The workshop will focus on the following topics without excluding
others possible topics:

    * Constraint-based analysis of programs
    * Constraint-based test input generation
    * Constraint-based exploration of programs
    * Constraint solvers over specific domains
    * SMT solver used in program testing
    * Heuristics guided by the structure of programs and models
    * Combination of dedicated constraint solvers
    * Test input generation for complex input data structures

Following a first meeting held within the CP (Principles and Practices
of Constraint Programming) Conference in Nantes in 2006 and a second
meeting at ICST 2010 that attracted more than 30 participants, the aim
of this workshop is to bring together researchers and industrial
people working in constraint-based program analysis and testing, as
well as researchers working in the more general field of program
testing, to investigate future developments in this research field.

Organizers:
===========
Arnaud Gotlieb  INRIA Rennes, France  http://www.irisa.fr/lande/gotlieb/
Gordon Fraser   Saarland University   http://www.st.cs.uni-saarland.de/~fraser/

Program committee:
=================
Benoit Baudry, INRIA - Rennes, France
Sebastien Bardin, CEA - Saclay, France
Cristian Cadar, Imperial College, UK
Christoph Csallner, University of Texas at Arlington, USA
Frederic Dadeau, Universite de Franche-Comte, France
Catherine Dubois, Ensiie, France
Youssef Hamadi, Microsoft Research, USA
Sarfraz Khurshid, University of Texas at Austin, USA
Michel Leconte, ILOG Gentilly, France
Bruno Marre, CEA - Saclay, France
Darko Marinov, University of Illinois, USA
Claude Michel, University of Nice, France
Matthieu Petit, University of Roskilde, Denmark
Nikolai Tillmann, Microsoft Research, USA
Nicky Williams, CEA - Saclay, France
Franz Wotawa, TU Graz, Austria