13th ISSRE 2002: Annapolis, MD, USA

Session 1A: Testing with Formal Methods

Session 2A: Reliability Modeling

Session 3A: Failure Detection and Recovery

Session 1B: Assessment of Testing

Session 2B: High Availability Software Maintenance

Session 1C: Testing Technologies

Session 2C: System Analysis

Session 1D: Practical Experience with Testing

Session 2D: Reliability Prediction and Analysis

Session 1E: Software Mutation

Session 2E: Reliability Assessment

a service of Schloss Dagstuhl - Leibniz Center for Informatics