In Defense of Program Testing or Correctness Proofs Considered Harmful

ACM SIGPLAN Notices

Volumn 11, Issue 5, 1976, Pages 64-68

  Tanenbaum, Andrew S ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976806728     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/956003.956011     Document Type: Article

References (10)

1. Brown, J.R. and Lipow, M: “Testing for Software Reliability”, Sigplan Notices, vol. 10, pp. 518-527, 1975.
2. Dijkstra, E.W.: “The Humble Programmer”, CACM, vol. 15, pp. 859-866, 1972.
3. Endres, A.: “An Analysis of Errors and Their Causes in Systems Programs”, IEEE Transactions on Software Engineering, vol. 1, pp. 140-149, 1975.
4. Goodenough, J.B. and Gerhart, S.L.: “Toward a Theory of Test Data Selection” IEEE Transactions on Software Engineering, vol. 1, pp. 156-173, 1975.
5. Hetzel, W.C.: Program Test Methods, Prentice-Hall, Englewood Cliffs, 1973.
6. King, J.C.: “A New Approach to Program Testing”, Sigplan Notices, vol.10, pp. 228-233, 1975.
7. Kopetz, H.: “On the Connections Between Range of Variable and Control Structure Testing”, Sigplan Notices, vol. 10, pp. 511-517, 1975.
8. Lampson, B.W.: “A Note an the Confinement Problem”, CACM, vol 16, pp. 613-614, 1973.
9. Rain, M.: “Two Unusual Methods for Debugging System Software”, Software Practice and Experience, vol. 3, pp.61-63, 1973.
10. van Tassel, D.: Program Style, Design, Efficiency, Debugging and Testing, Prentice-Hall, Englewood cliffs, 1974.