Continuity in software systems

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 196-200

  Hamlet, Dick ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FUNCTIONS; PROGRAM DEBUGGING; SAMPLING;

SOFTWARE RELIABILITY;

SOFTWARE ENGINEERING;

EID: 0036983202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566172.566203     Document Type: Conference Paper

References (13)

1. William Addis. Structural Engineering, the nature of theory and design. Ellis Horwood, 1990.
2. P. Ammann and J. C. Knight. Data diversity: an approach to software fault tolerance. IEEE Trans. on Computers, pages 418-425, 1988.
3. M. Blum and S. Kannan. Designing programs that check their work. JACM, pages 269-291, January 1995.
4. Laurence Boxer. Digitally continuous functions. Pattern Recognition Letters, pages 833-839, August 1994.
5. R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of life-critical software reliability. IEEE Transactions on Software Engineering, 19(1):3-12, January 1993.
6. Matthew Geller. Test data as an aid in proving program correctness. Comm. of the ACM, 21:368-375, May 1978.
7. Dick Hamlet. Predicting dependability by testing. In Proceedings ISSTA '96, pages 84-91, San Diego, CA, 1996.
8. W. E. Howden. Reliability of the path analysis testing strategy. IEEE Trans. on Soft. Eng., 2:208-215, 1976.
9. Dave Mason. University of Waterloo PhD thesis in progress.
10. Henry Petroski. To Engineer is Human: The Role of Failure in Successful Design. St. Martin's Press, New York, 1985.
11. D. J. Richardson and L. A. Clarke. Partition analysis: a method combining testing and verification. IEEE Transactions on Software Engineering, 11(12):1477-1490, December 1985.
12. Azriel Rosenfeld. 'Continuous' functions on digital pictures. Pattern Recognition Letters, pages 177-184, July 1986.
13. M. L. Shooman. Software Engineering Design, Reliability, and Management. McGraw-Hill, New York, NY, 1983.