Predicting dependability by testing

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 84-91

  Hamlet, Dick ^a  

^a Portland State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FORECASTING; QUALITY CONTROL; RELIABILITY; SOFTWARE RELIABILITY; SOFTWARE TESTING;

ENGINEERING JUDGEMENT; FAILURE INTENSITY; MEASUREMENTS OF; QUALITY OF SOFTWARES; SELF CHECKING; SENSITIVITY THEORY; SOFTWARE QUALITY; STATISTICAL QUALITY CONTROL;

RELIABILITY THEORY;

EID: 84864745704     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226305     Document Type: Conference Paper

References (11)

1. R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of lifecritical software reliability. In Software for Critical Systems, pages 66-76, New Orleans, LA, 1991.
2. M. Blum and S. Kannan. Designing programs that check their work. In 21st ACM Symposium of Theory of Computing, pages 86-96, 1989.
3. A. Bertolino and L. Strigini. Using testability measure for dependability assessment. In 17th International Conference on Software Engineering, pages 61-70, Seattle, WA, 1995.
4. M. Blum and H. Wasserman. Program resultchecking: A theory of testing meets a test of theory. In 35th Annual Symposium on Foundations of Computer Science, pages 382-391, Santa Fe, NM, 1994.
5. D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, New York, 1994.
6. D. Hamlet and J. Voas. Faults on its sleeve: amplifying software reliability. In International Symposium on Software Testing and Analysis, pages 89-98, Boston, MA, 1993.
7. M. L. Shooman. Software Engineering Design, Reliability, and Management. McGraw-Hill, New York, NY, 1983.
8. R. Thayer, M. Lipow, and E. Nelson. Software Reliability. North-Holland, New York, NY, 1978.
9. J. M. Voas and K. W. Miller. Improving the software development process using testability research. In Third International Symposium on Software Reliability Engineering, pages 114-121, Research Triangle Park, NC, 1992.
10. J. M. Voas and K. W. Miller. Software testability: the new verification. IEEE Software, pages 17-28, May 1995.
11. J. M. Voas. Pie: A dynamic failure-based technique. IEEE Trans. on Soft. Eng., 18:717-727, 1992.