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


Papers can be submitted on the CSTVA 2011 submission site on EasyChair.


We are seeking submissions of the following types:

  • 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.

The full proceedings will be published by the IEEE Computer Society. Therefore, all papers and other materials for the proceedings must be typeset to conform to IEEE conference style guidelines using the two-colum format.

For instructions on preparing papers in accordance with the IEEE two-column proceedings format, see Author Guidelines for 8.5x11-inch Proceedings Manuscript. Please use the MS Word templates and LaTeX formats to prepare papers.

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