Submit a Paper

Propose a Workshop

The Fifth International Conference on Advances in System Testing and Validation Lifecycle

VALID 2013
October 27 - November 1, 2013 - Venice, Italy


The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a digital award will be issued in the name of the authors.

Awarded Papers

State Space Reconstruction for On-Line Model Checking with UPPAAL
Jonas Rinast, Sibylle Schupp, Dieter Gollmann

Automatic Linking of Test Cases and Requirements
Thomas Noack


The following papers have been selected on the basis of their contents, specificaly for lending themselves to an interesting extended work. The authors of these papers are receiving invitations to submit an extended article version to one of the IARIA Journals.

Papers Invited for IARIA Journals

Using Filtering to Improve Value-Level Debugging of Verilog Designs
Bernhard Peischl, Naveed Riaz, Franz Wotawa

Towards an Integrated Methodology for the Development and Testing of Complex Systems
Philipp Helle, Wladimir Schamai

Formal Composition based on Roles within a Model Driven Engineering Approach
Cédrick Lelionnais, Jérôme Delatour, Matthias Brun, Olivier H. Roux, Charlotte Seidner


Copyright (c) 2006-2013, IARIA