Software Reliability and Dependability

Research Goals

• develop foundational testing theory
• use the theory in safety-critical applications
• improve current testing practice

Introduction to Reliability

• Tutorial on software reliability
• Random Testing (Enclyclopedia of Software Engineering)
• Is There Such a Thing as Software Reliability? (Introductory talk from the Pacific Northwest Software Quality Conference)

Selected Research Papers

• Theory of Software Testing with Persistent State (IEEE Trans. Software Reliability, 2015)
• Software Component Dependability, a Subdomain Theory (RST Corporation Technical Report RSTR-96-999-01)
• Predicting dependability by testing (ISSTA `96)
• Foundations of software testing: dependability theory (Foundations of SE `94)
• Faults on its sleve: amplifying software reliability (with Jeff Voas, ISSTA `93)
• Connecting test coverage to software dependability (ISSRE `93)
• Evaluating testing methods by delivered reliability (with Phyllis Frankl, Bev Littlewood, and Lorenzo Strigini, TSE 1998)
• When only random testing will do Random Testing Workshop