A System to Generate Test Data and Symbolically Execute Programs

IEEE Transactions on Software Engineering

Volumn SE-2, Issue 3, 1976, Pages 215-222

  Clarke, Lori A ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

Program validation; software reliability; symbolic execution; test data generation

Indexed keywords

PROGRAM VALIDATION;

COMPUTER PROGRAMMING;

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

References (21)

1. W. C. Hetzel, Ed, Program Test Method. Englewood Cliffs, NJ: Prentice-Hall, 1973.
2. R. London, “A view of program verification,” in Proc. Int. Conf. Reliable Software, Apr. 1975, pp. 534-545.
3. R. S. Boyer, B. Elspas, and K. N. Levitt, “SELECT-A formal system for testing and debugging programs by symbolic execution,” in Proc. Int. Conf. Reliable Software, Apr. 1975, pp. 234-244.
4. L. J. Osterweil, and L. D. Fosdick, “Data flow analysis as an aid in documentation, assertion generation, validation, and error detection,” Dep. Comput. Sci., Univ. Colorado, Boulder, Rep. 55, Sept. 1974.
5. L. G. Stucki, “Automatic generation of self-metric software,” in Rec. 1973 IEEE Symp. Software Reliability, pp. 94-100.
6. C. V. Ramamoorthy, R. E. Meeker, and J. Turner, “Design and construction of an automated software evaluation system,” in Rec. 1973 IEEE Symp. Software Reliability, pp. 28-37.
7. J. C. King, “A new approach to program testing,” in Proc. Int. Conf. Reliable Software, Apr. 1975, pp. 228-233.
8. S. L. Sites, “Proving that computer programs terminate clearly,” Dept. Comput. Sci., Stanford Univ., Stanford, CA.
9. M. Davis, “Hilbert's tenth problem is unsolvable,” Amer. Math. Mon., vol. 80, pp. 233-269, Mar. 1973.
10. D. C. Knuth, “An empirical study of FORTRAN programs,” Software-Practice and Experience, vol. 1, pp. 105-133, 1971.
11. B. Elspas, M. Green, A. Korsak, and P. Wong, “Solving non linear inequalities associated with computer program paths,” Stanford Res. Inst., preliminary draft.
12. R. M. Balzer, “EXDAMS-Extendable debugging and monitoring system,” in 1969 Spring Joint Computer Conf.,AFIPS Conf. Proc. vol. 34. Montvale, NJ: AFIPS Press, 1969, pp. 567-580.
13. W. E. Howden, “Methodology for the generation of program test data,” IEEE Trans. Comput., vol. C-24, pp. 554-559, May 1975.
14. E. F. Miller, and R. A. Melton, “Automated generation of test case datasets,” in Proc. Int. Conf. Reliable Software, Apr. 1975, pp. 51-58.
15. J. C. Huang, “Program testing,” Dep. Comput. Sci., Univ. Houston, Houston, TX, May 1974.
16. K. W. Krause, R. W. Smith, and M. A. Goodwin, “Optimal software test planning through automated network analysis,” in Rec. 1973 IEEE Symp. Software Reliability, pp. 18-22.
17. J. B. Goodenough, and S. L. Gerhart, “Toward a theory of test data selection,” Proc. Int. Conf. Reliable Software, Apr. 1975, pp. 493-510.
18. J. Cocke, and J. T. Schwartz, Programming Languages and Their Compilers, New York Univ., Courant Inst. Math. Sci.
19. W. S. Brown, Altran User's Manual, Bell Telephone Lab., vol. 1, 1973.
20. F. Glover, private communications.
21. G. B. Dantzig, Linear Programming and Extensions. Princeton, NJ: Princeton Univ. Press, 1963.