ISSTA 1996: San Diego, CA, USA

Keynote Address

Concurrent and Real-Time

Specification-Based Testing

Workshop Session 1

Analysis

Implementation-Based Testing

Workshop Session 2

Workshop Session 3

Modelling

Verification and Validation

Panel

a service of Schloss Dagstuhl - Leibniz Center for Informatics