PSEUDO-ORACLES FOR NON-TESTABLE PROGRAMS

Proceedings of the ACM 1981 Conference, ACM 1981

Volumn , Issue , 1981, Pages 254-257

  Davis, Martin D ^a   Weyuker, Elaine J ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 67650205674     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800175.809889     Document Type: Conference Paper

References (14)

1. Avizienis, A. and L. Chen. On the Implementation of N-Version Programming for Software Fault-Tolerance during Program Execution, Proceedings of COMPSAC Conference, 1977, 149-155.
2. DeMillo, R. A., R. J. Lipton, and F. G. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer, Computer, Vol. II, No. 4, April 1978, 34-41.
3. Horning, J. J., H. C. Lauer, P. M. Melllar-Smith, and B. Randell. A Program Structure for Error Detection and Recovery, in Lecture Notes in Computer Science, Vol. 16, Springer, 1974, 177-193.
4. Howden, W.E. and P. Eichhorst. Proving Properties of Programs from Program Traces, in Tutorial: Software Testing Validation Techniques, eds. E. Miller and W.E. Howden, IEEE Computer Society, 1978, 46-50.
5. Huang, J. C. An approach to Program Testing, Computing Surveys, Vol. 7, 1975, 113-128.
6. Kowalski, R. A. Logic for Problem Solving, North Holland, 1979.
7. Myers, G.J. The Art of Software Testing, John Wiley & Sons, New York, 1979.
8. Panzl, D. J. Experience with Automatic Program Testing, Proceedings Trends and Applications 1981, National Bureau of Standards, May 1981.
9. Randell, B. System Structure for Software Fault Tolerance, IEEE Trans. Software Eng., Vol. SE-1, June 1975, 220-232.
10. Schwartz, J.T. Automatic Data Structure Choice in a Language of Very High Level, CACM, Vol. 18 (1975), pp. 722-728.
11. Weyuker, E.J. The Oracle Assumption of Program Testing, Proc. of the 13th Hawaii International Conf. on System Sciences, Hawaii, Jan. 1980.
12. Weyuker, E. J. On Testing Nontestable Programs, Dept. of Computer Science Report No. 025, New York University, New York, October 1980.
13. White, L. J., E. I. Cohen, and B. Chandrasekaran. A Domain Strategy for Computer Program Testing, Comp. and Info. Sci. Res. Center Tech. Report, The Ohio State University, Columbus, Ohio, Aug. 1978.
14. Woodward, M. R., D. Hedley, and M. A. Hennell. Experience with Path Analysis and Testing Programs, IEEE Trans. Software Eng., Vol. SE-6, May 1980, pp. 247-257.