CSTVA 2011

3rd Workshop on
Constraints in Software Testing, Verification, and Analysis

Berlin, March 25, 2011


Important dates:

January 7, 2011 (extended)

February 1, 2011

Camera-ready versions due:
March 18, 2011

March 25, 2011


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 and a second meeting at ICST 2010, 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


Authors are invited to submit original contributions in the form of research papers of no more than 6 pages, or tool demo or fast abstract papers of no more than 2 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.

Two special awards, granted by Microsoft Research in the context of the Verified Software Initiative 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

designed by anne.at