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

maintained by Schloss Dagstuhl LZI at University of Trier