Skip to main content
These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser.
Title Image


There are two categories of submissions:

  • regular papers : up to 15 pages, describing fully developed work and complete results. Papers can present theory, software engineering aspects, or case studies.
  • tool papers : up to 6 pages, describing an operational tool. The authors of accepted tool papers will give demonstrations of their tools in tool demo sessions. Tool papers should explain enhancements that have been done compared to previously published work. A tool paper does not need to present the theory behind the tool but can focus more on its features, and how it is used, with screen shots and examples.

All papers should be in English and describe original work that has not been published or submitted elsewhere.

Submissions will be fully reviewed and the symposium proceedings (including regular papers and tool papers) will appear as a volume in Lecture Notes of Computer Science. Papers must use the LNCS style, and be in pdf format.


All papers should be submitted via this EasyChair Submission page.

Please indicate submission category: regular paper or tool paper.

For Springer's copyright form, indicate:

  • Volume number: 6617
  • Editors: Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi