ISSTA 2002: Roma, Italy

Static analysis of Java programs

Validating security properties

Faults and failure analysis

Improving testing efficiency

Specification-based testing

Conformance and interoperability testing

Analysis of concurrent programs

Theory of testing and reability

ISSTA panel: is ISSTA research relevant to industrial users?

Dynamic analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics