A report on random testing

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1981, Pages 179-183

  Duran, Joe W ^a   Ntafos, Simeon ^b  

^a SOUTHWEST RESEARCH INSTITUTE   (United States)

^b UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS;

PARTITION TESTING; PROGRAM STRUCTURES; PROGRAM TESTING; RANDOM TESTING; STRUCTURAL TESTING; TEST CASE GENERATION; TESTING SCHEMES; VALIDATION TOOLS;

SOFTWARE TESTING; COMPUTER PROGRAMMING;

EID: 84981650029     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Boyer, R. S., B. Elspas, K. N. Levitt, "SE-LECT-A Formal System for Testing and Debugging Programs by Symbolic Execution, " Proc. 1975 Int'l. Conf. on Reliable Software, pp. 2 34-245.
2. DeMillo, R. A., R. J. Upton, F. G. Say-ward, "Hints on Test Data Selection: Help for the Practicing Programmer, " IEEE Computer, Vol. 11, No. 4, pp. 34-41, 1978.
3. Duran, J. W., J. J. Wiorkowski, "Quantifying Software Validity by Sampling, " IEEE Trans. Reliability, Vol. R-29, pp. 141-144, 1980.
4. Geddes, K. O., "Remark on Algorithm 424, "• ACM Trans. Math. Software, Vol. 5, p. 240, 1979.
5. Girard, E., J.-C. Rault, "A Programming Technique for Software Reliability, " Conf. Record, 197 3 IEEE Symp. Computer Software Reliability, pp. 44-50.
6. Goodenough, J. B., S. L. Gerhart, "Toward a Theory of Test Data Selection, " IEEE Trans. Software Eng., Vol. SE-1, pp. 156-173, 1975.
7. Gustavson, F., "Remark on Algorithm 408, " ACM Trans. Math. Software, Vol. 4, p. 295, 1978.
8. Hetzel, W. C., "An Experimental Analysis of Program Verification Methods, " Ph. D. Dissertation, The University of North Carolina, 1976.
9. Howden, W. E., "Symbolic Testing-Design Techniques, Costs, Effectiveness, " Na-5. tional Bureau of Standards Tech. Report, NTIS #PB-268517, May, 1977.
10. Howden, W. E., "Functional Program Testing, " IEEE Trans. Software Eng., Vol. SE-6, pp. 162-169, 1980.
11. Kernlghan, B. S., P. J. Plauger, The Elements of Programming Style (2nd ed. ), New York, McGraw-Hill, 1978.
12. Myers, G. J., The Art of Software Testing, John Wiley &Sons, New York, 1979, p. 36.
13. Thayer, R. A., M. Lipow, E. C. Nelson, Software Reliability, North-Holland, Amsterdam, 1978.