Software Reliability Engineering
Posted March 31, 2005 in misc- 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