The Fourth International Conference on Advances in System Testing and Validation Lifecycle VALID 2012 November 18-23, 2012 - Lisbon, Portugal

Awards

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

MBPeT: A Model-Based Performance Testing Tool
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres

Automated Structural Testing of Simulink/TargetLink Models via Search-Based Testing Assisted by Prior-Search Static Analysis
Benjamin Wilmes

GUI Failure Analysis and Classification for the Development of In-Vehicle Infotainment
Daniel Mauser, Alexander Klaus, Ran Zhang, Linshu Duan

Diagnosability Analysis for Self-observed Distributed Discrete Event Systems
Lina Ye, Philippe Dague

A Model-Based Approach to Validate Configurations at Runtime
Ludi Akue, Emmanuel Lavinal, Michelle Sibilla

 

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

Sick But Not Dead Testing - A New Approach to System Test
Tara Astigarraga, Lou Dickens, Michael Browne

Fault Detection Capabilities of an Enhanced Timing and Control Flow Checker for Hard Real-Time Systems
Julian Wolf, Bernhard Fechner, Theo Ungerer

Experiences in Test Automation for Multi-Client System with Social Media Backend
Tuomas Kekkonen, Teemu Kanstrén, Jouni Heikkin

Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux

Optical Link Testing and Parameters Tuning with a Test System Fully Integrated into FPGA
Anton Kuzmin, Dietmar Fey