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