CSTVA 2010 | Organization | Important Dates | Program | Photos


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

April 10, 2010, Paris, co-located with ICST 2010

For workshop registration please visit the ICST 2010 website

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. 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 contributions 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. Accepted papers will be published by the IEEE Computer Society.