On the Automated Generation of Program Test Data

IEEE Transactions on Software Engineering

Volumn SE-2, Issue 4, 1976, Pages 293-300

  Ramamoorthy, C V ^a   Ho, Siu Bun F ^a   Chen, W T ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b NATIONAL TSING HUA UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

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

References (18)

1. F. E. Allen and J. Cocke, “Graph-theoretic concepts for program control flow analysis,” IBM Res. Lab., Yorktown Heights, NY, Rep. RC-3923, July 1972.
2. R. S. Boyei, B. Elpas, and K. N. Levitt, “SELECT-A formal system for testing and debugging programs by symbolic execution,” in Proc. Int. Conf. Reliable Software, 1975.
3. W. T. Chen and C. V. Ramamoorthy, “Toward automation of test data generation,” Int. Comput. Symp., Taipei, Taiwan, 1975.
4. W. T. Chen, “Toward automated validation of computer programs,” Ph.D. dissertation, Dep. Elec. Eng. Comput. Sci., Univ. California, Berkeley, Feb. 1976.
5. L. Clarke, “A system to generate test data and symbolically execute programs,” Univ. Colorado, Rep. CU-CS-060-75.
6. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” in Proc. Int. Conf Reliable Software, 1975.
7. G. Hadley, Linear Programming. Reading, MA: Addison-Wesley, 1962.
8. Y. W. Han, “A systematic study of computer system reliability,” Ph.D. dissertation, Dep. Elec. Eng. Comput. Sci., Univ. California, Berkeley, Feb 1976.
9. W. C. Hetzel, Program Test Methods. New York: Prentice-Hall, 1972.
10. W. E. Howden, “Methodology for the generation of program test data,” IEEE Trans. Comput., vol. C-24, May 1975.
11. J. C. Huang, “An approach to program testing,” Computing Survey, vol. 7, Sept. 1975.
12. J. C. King, “A new Approach to program testing,” in Proc. Int. Conf. Reliable Software, 1975.
13. K. W. Krause, R. W. Smith, and M. A. Goodwin, “Optimal software test planning through automated network analysis,” in Proc. 1973 IEEE Symp. Comput. Software Reliability, 1973.
14. E. F. Miller et al., “Structurally based automatic program testing,” presented at EASCON 74.
15. C. V. Ramamoorthy and S. F. Ho, “FORTRAN Automated Code Evaluation System,” Electron. Res. Lab., Univ. California, Berkeley, Memo. ERL-M466, July 1974.
16. “Testing large software with automated software evaluation system,” IEEE Trans. Software Eng., Mar. 1975.
17. D. J. Reifer, “Automated aids for reliable software,” in Proc. Int. Conf. Reliable Software, 1975.
18. B. Wegbreit, “Mechanical program analysis,” Commun. Ass. Comput. Mach., vol. 18, Sept. 1975.