Software Reliability Engineering

• An axiomatic basis for computer programming
• Applying Design by Contract
• Handbook of Software Reliability Engineering
• Binder’s Design for testability in object-oriented systems
• J. E. Payne, R. T. Alexander, and C. D. Hutchinson, Design-for-Testability for Object-Oriented Software, Object Magazine, Vol. 7, No. 5, 1997, pp. 34-43
• Dick Hamlet’s Testing Research
• Faults on its sleve: amplifying software reliability (with Jeff Voas, ISSTA `93)
• Using Assertions to Make Untestable Software More Testable
• Leveson et al. THE USE OF SELF CHECKS AND VOTING IN SOFTWARE ERROR DETECTION: AN EMPIRICAL STUDY