6. IWPTS 1993: Pau, France

Invited Paper 1

Session 1 - Test Generation and Coverage

Tutorial

Session 2 - Testability and Architecture

Invited Paper 2

Session 3 - Industrial Reports and Tools

Invited Paper 3

Session 4 - Test Generation

Invited Paper 5

Session 5 - Interoperability and Nondeterminism