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.
A diploma will be issued in the name of the authors and mailed to the contact author.
Reuse through Requirements Traceability
Towards a Generic Approach for Model Composition
On the Effectiveness of Manual and Automatic Unit Test Generation
Goal Sketching with Activity Diagrams
Daidalos II: Implementing a Scenario Driven Process
Alternative/Exceptional Scenario Generation with Differential Scenario
A Formal Definition of Complex Software
An Approach to Addressing Entity Model Variability within Software Product Lines
Incremental Verification of Large Scale Workflows Based on Extended Correctness
Copyright (c) 2006-2010, IARIA