An Evaluation of Random Testing

IEEE Transactions on Software Engineering

Volumn SE-10, Issue 4, 1984, Pages 438-444

  Duran, Joe W ^a   Ntafos, Simeon C ^b  

^a UNIVERSITY OF TEXAS AT SAN ANTONIO   (United States)

^b UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

Index Terms; Partition testing; path testing; random testing; software testing experiments

Indexed keywords

PARTITION TESTING; PATH TESTING; RANDOM TESTING;

COMPUTER PROGRAMMING;

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

References (15)

1. R. S. Boyer, B. Elspas, and K. N. Levitt, “SELECT-A formal system for testing and debugging programs by symbolic execution,” in Proc. 1975 Int. Conf. Reliable Software, pp. 234–245.
2. R. A. DeMillo, R. J. Lipton, and F. G. Sayward, “Hints on test data selection: Help for the practicing programmer,” IEEE Computer, vol. 11, no. 4, pp. 34–41, 1978.
3. J. W. Duran and J. J. Wiorkowski, “Quantifying software validity by sampling,” IEEE Trans. Reliability, vol. R-29, pp. 141–144, 1980.
4. K. O. Geddes, “Remark on algorithm 424,” ACM Trans. Math. Software, vol. 5, p. 240, 1979.
5. E. Girard and J.-C. Rault, “A programming technique for software reliability,” in Conf. Rec., 1973 IEEE Symp. Comput. Software Reliability, pp. 44–50.
6. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” IEEE Trans. Software Eng., vol. SE-1, pp. 156–173, 1975.
7. F. Gustavson, “Remark on algorithm 408,” ACM Trans. Math. Software, vol. 4, p. 295, 1978.
8. W. C. Hetzel, “An experimental analysis of program verification methods,” Ph.D. dissertation, Univ. North 1976.
9. W. E. Howden, “Symbolic testing-Design techniques, costs, and effectiveness,” Nat. Bureau of Standards Tech. Rep. PB-268517, May 1977.
10. W. E. Howden, “Functional program testing,” IEEE Trans. Software Eng., vol. SE-6, pp. 162–169, 1980.
11. B. S. Kernighan and P. J. Plauger, The Elements of Programming Style, 2nd ed. New York: McGraw-Hill, 1978.
12. S. C. Ntafos, “On testing with required elements,” in Proc. COMPSAC81, Nov. 1981, pp. 132–139.
13. G. J. Myers, The Art of Software Testing. New York: Wiley, 1979, p. 36.
14. R. A. Thayer, M. Lipow, and E. C. Nelson, Software Reliability. Amsterdam, The Netherlands: North-Holland, 1978.
15. M. R. Woodward, D. Hedley, and M. A. Hennell, “Experience with path analysis and testing of programs,” IEEE Trans. Software Eng., vol. SE-6, pp. 278–286, May 1980.