Toward a Theory of Test Data Selection

IEEE Transactions on Software Engineering

Volumn SE-1, Issue 2, 1975, Pages 156-173

  Goodenough, John B ^a   Gerhart, Susan L ^a  

^a SofTech Inc ^*  (United States)

Author keywords

Terms Proofs of correctness; testing

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0016520230     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1975.6312836     Document Type: Article

References (15)

1. B. Boehm, “Software and its impact: A quantitative assessment,” Datamation, vol. 19, pp. 48-59, May 1973.
2. B. W. Boehm et al, “Some experience with automated aids to the design of large-scale reliable software,” in Proc. Int. Conf. Reliable Software, Los Angeles, Calif., Apr. 21-23, 1975.
3. J. N. Buxton and B. Randell, Software Engineering Techniques. Brussels, Belgium: Scientific Affairs Div., NATO, Apr. 1970.
4. O.-J. DaW, E. W. Dijkstra, and C. A. R. Hoare, Structured operating system,” IEEE Trans. Syst., Sci., Cybern, vol. SSC-5, pp. 284–290, Oct. 1969.
5. W. C. Hetzel, Program Test Methods. Englewood Cliffs, N. J.': Prentice-Hall 1973.
6. P. Brinch Hansen, “Testing multiprogramming systems,” Softwave Practice and Experience, vol. 3, pp. 145-150 Apr.-June
7. P 973. H. King, “The interpretation of limited entry decision table format and relationships among conditions,” Comput. J., vol. 12, pp. 320-326, Nov. 1969.
8. R. L. London, “Software reliability through proving programs correct,” in Proc. IEEE Int. Symp. Fau U-Tolerant Computing
9. P. Naur, “Programming by action clusters,” BIT, vol. 9, no. 3
10. P. Naur and B. Randell, Eds., Software Engineering. Brussels, Belgium: Scientific Affairs Div., NATO, Jan. 1969
11. U. W. Pooch, “Translation of decision tables,” Comput. Surveys, vol. 6, pp. 125-151, June 1974.
12. P. C. Poole, “Debugging and testing,” in Advance Course on Software Engineering F L. Bauer, Ed. New York: Springer-
13. R. J. Rubey, R. C. Wick, W. J. Stoner, and L Bentley, “Comparative evaluation of PLjI,” Rep. AD-669096, Apr. 1968.
14. S. L. Sites, “Proving that computer programs terminate cleanly,” Dep. Comput. ScL, Stanford Univ. Stanford, Calif., Rep. STAN-6S-74-418, May 1974.
15. L. G. Stucki and N. P. Svegel, “Software automated verification system study,” McDonnell Douglas Astronautics Corp., Huntington Beach Calif, Rep. AD-784086, Jan. 1974.