CFP: 2nd Workshop on Constraints in Software Testing, Verification and Analysis (Paris, Apr 10)

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
Software Testing, Verification and Validation, ICST 2010,
April 6-10, 2010:


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


AIMS:


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.


Following a first meeting held within the CP (Principles of
Constraint Programming) Conference at Nantes in 2006 that
attracted more than 25 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.




TOPICS:


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




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
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. 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
Arnaud Gotlieb, INRIA  Rennes
Claude Michel, University of Nice
Alexander Pretschner, Fraunhofer IESE




PROGRAM COMMITTEE:


Benoit Baudry, INRIA  Rennes
Sebastien Bardin, CEA  Saclay
Cristian Cadar, Imperial college
Hilhne Collavizza, University of Nice
Fridiric Dadeau, Universiti de Franche-Comti
Catherine Dubois, Ensiie
Youssef Hamadi, Microsoft Research
Safraz Khurshid, University of Texas at Austin
Michel Leconte, ILOG Gentilly
Bruno Marre, CEA  Saclay
Darko Marinov, University of Illinois
Matthieu Petit, University of Roskilde
Nikolai Tillmann, Microsoft Research
Nicky Williams, CEA  Saclay

Return to the comp.compilers page.
Search the comp.compilers archives again.