ISSTA 1994: Seattle, WA, USA

Specification-based Testing and Analysis

Test Generation

Path Analysis and Slicing

Panel: Empirical Techniques for Assessing Testing Strategies

Invited Paper

Tools

Test Coverage Techniques

Workshop Session 1

Workshop Session 2

Concurrent and Real-Time Software

Panel

maintained by Schloss Dagstuhl LZI at University of Trier