PASTE 2004: Washington, DC, USA

Static analysis

Evaluation

Dynamic analysis

Pointer analysis

Testing and coverage

a service of Schloss Dagstuhl - Leibniz Center for Informatics