Testing for Software 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)

Selected Research Papers

• 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)
• Software quality, software process, and software testing (Advances in Computers)