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

Program understanding

Testing

Inferring and checking of run-time constraints

Fault localization

maintained by Schloss Dagstuhl LZI at University of Trier