14. FASE 2011: Saarbrücken, Germany (Part of ETAPS 2011)

Invited Talk

Verification

Specification and Modelling

Reachability and Model Checking

Model Driven Engineering

Software Development for QoS

Testing: Theory and New Trends

Testing in Practice

Code Development and Analysis

Empirical Studies

maintained by Schloss Dagstuhl LZI at University of Trier