6th WODA@ISSTA 2008: Seattle, WA, USA

Program understanding

Testing

Inferring and checking of run-time constraints

Fault localization

a service of Schloss Dagstuhl - Leibniz Center for Informatics