CFP CSTVA'10 2nd International Workshop on Constraints in Software Testing, Verification and Analysis

This is a multi-part message in MIME format.
--------------040506080702020300020108
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit



--------------040506080702020300020108
Content-Type: text/plain;
 name="CFP_CSTVA2010.txt"
Content-Disposition: inline;
 filename="CFP_CSTVA2010.txt"
Content-Transfer-Encoding: quoted-printable

CALL FOR PAPERS

CSTVA'10

2nd Workshop on
Constraints in Software Testing, Verification and Analysis

http://www.st.cs.uni-saarland.de/cstva10/

April 10, 2010
Paris, France

Held in conjunction with the International Conference on=20
Software Testing, Verification and Validation, ICST 2010,=20
April 6-10, 2010:

http://vps.it-sudparis.eu/icst2010/

AIMS:

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

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


TOPICS:

The workshop will focus on the following topics without=20
excluding others possible topics:=20
- Constraint-based analysis of programs
- Constraint-based test input generation=20
- 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


SUBMISSION AND PUBLICATION:

Authors are invited to submit original contribution in the form
of an extended abstract of no more than 6 pages using the two-column=20
IEEE format, presenting new ideas, new results or new systems in=20
constraint-based testing. Papers should not be published or
submitted elsewhere during the time of evaluation. Submissions will
be handled with Easychair, and accepted papers will appear online
in the IEEE Digital Library.


IMPORTANT DATES:

Submission of extended abstract: January 15, 2010
Notification: March 2, 2010
Camera ready: March 26, 2010
Workshop date: April 10, 2010


WORKSHOP CO-ORGANIZERS:

Gordon Fraser, Saarland University                    =20
Arnaud Gotlieb, INRIA =96 Rennes                        =20
Claude Michel, University of Nice                     =20
Alexander Pretschner, Fraunhofer IESE                       =20


PROGRAM COMMITTEE:

Benoit Baudry, INRIA =96 Rennes                             =20
Sebastien Bardin, CEA =96 Saclay                                 =20
Cristian Cadar, Imperial college                            =20
H=E9l=E8ne Collavizza, University of Nice                          =20
Fr=E9d=E9ric Dadeau, Universit=E9 de Franche-Comt=E9         =20
Catherine Dubois, Ensiie                                             =20
Youssef Hamadi, Microsoft Research                      =20
Safraz Khurshid, University of Texas at Austin =20
Michel Leconte, ILOG Gentilly                               =20
Bruno Marre, CEA =96 Saclay                                =20
Darko Marinov, University of Illinois                      =20
Matthieu Petit, University of Roskilde                   =20
Nikolai Tillmann, Microsoft Research                        =20
Nicky Williams, CEA =96 Saclay                                 =20

--------------040506080702020300020108
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--------------040506080702020300020108--