7th MTV 2006: Austin, TX, USA

Introduction

Test

Verification and Test Generation

Architectural and Design Issues

a service of Schloss Dagstuhl - Leibniz Center for Informatics