Submit a Paper

Propose a Workshop

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

VALID 2011

October 23-29, 2011 - Barcelona, Spain


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 diploma will be issued in the name of the authors and mailed to the contact author.

Awarded Papers

Dealing with Challenges of Automating Test Execution
Vitalina Turlo, Valery Safronau

A Zone-based Reachability Analysis of Variable Driven Timed Automata
Omer Nguena-Timo, Antoine Rollet

Model Reconstruction: Mining Test Cases
Edith Werner, Jens Grabowski

Comparison of off-chip interconnect validation to field failures
Michael Shepherd, David Blankenbeckler, Adam Norman


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

Detecting Equivalent Mutants by Means of Constraint Systems
Simona Nica, Mihai Nica, Franz Wotawa

Answer-Set Programming as a new Approach to Event-Sequence Testing
Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jörg Pührer, Hans Tompits, Cemal Yilmaz

Copyright (c) 2006-2011, IARIA