Areas:

We invite submission that include but that are not limited to the following areas:

• Transfer of academic approaches to software testing, verification and validation into open source or commercial tools, reporting lessons learned about this transfer;
• Design and development of innovative testing tools to be applied in real V&V scenarios;
• Description of strategies and challenges about the effort needed for the adoption of a V&V approach;
• Description of working prototypes about research techniques, reporting any feedback obtained from practitioners and description of the technical challenges in developing them;
• Description of case studies and/or experiments performed by exploiting the tools in certain contexts. Reporting lessons learned and negative results, if any.

Evaluation:

Submissions will be evaluated based on:

• The relevance and significance of the addressed problem.
• The innovation element of the approach.
• The availability, maturity, and adoption-level of the tool.
• The presence of lessons learned from developing or using the tool.
• The quality of the presentation.

Accepted papers will appear in the conference proceedings and the IEEE digital library.