Symbolic Testing and the DISSECT Symbolic Evaluation Systerm

IEEE Transactions on Software Engineering

Volumn SE-3, Issue 4, 1977, Pages 266-278

  Howden, William E ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automated aids; data flow analysis; ness; program correct; program specifications; program testing; software errors; software reliability; symbolic evaluation; test data generation

Indexed keywords

PROGRAM TESTING;

COMPUTER PROGRAMMING;

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

References (30)

1. W. E. Howden, “Methodology for the generation of program test data,” IEEE Trans. Comput., vol. C-24, pp. 554–560, May 1975.
2. 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, 1975, pp. 234–245.
3. J. C. King, “Symbolic execution and program testing,” Commun, Ass. Comput. Mach., vol. 19, pp. 385–394, July 1976.
4. L. A. Clarke, “A system to generate test data and symbolically execute programs,” IEEE Trans. SOftware Eng., vol. SE-2, pp. 215–222, Sept. 1976.
5. W. E. Howden and J. Laub, “Automatic case analysis of programs,” in Proc. Computer Science and Statistics: 8th Annu. Symp. on the Interface, 1975, pp. 347–352.
6. E. F. Miller and R. A. Melton, “Automated generation of test-case data sets,” in Proc. 1975 1nt. Conf. Reliable Software, 1975, pp. 51-58.
7. J. C. Huang, “An approach to program testing,” Comput. Surveys, vol. 7, pp. 113–128, Sept. 1975.
8. W. E. Howden and L. G. Stucki, “A methodology for effective test case selection-Phase I,” McDonnell Douglas Astronautics, Huntington Beach, CA, Tech. Rep. MDC G5301, Jan. 1974.
9. B. Elspas, M. Green, A. Korsak, and P. Wong, “Solving nonlinear inequalities associated with computer program paths,” Stanford Res. Inst., Stanford, CA, preliminary draft.
10. B. W. Kernighan and P. J. Plauger, The Elements of Programming Style. New York: McGraw Hill, 1974.
11. W. E. Howden and L. G. Stucki, “A methodology for effective test Case selection-Phase III,” McDonnell Douglas Astronautics, Huntington Park, CA, Tech. Rep. MDC G6211, Mar. 1976.
12. W. E. Howden, “Models of correct programs and program testing,” Dept. Appl. Phys. and Inf. Sci., Univ. California, San Diego, Comput. Sci. Tech. Rep. 10, Nov. 1974.
13. W. E. Howden, “Reliability of the path analysis testing strategy,” IEEE Trans. Software Eng., vol. SE-2, pp. 208–214, Sept. 1976.
14. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” IEEE Trans. Software Eng., vol. SE-1, pp. 156– 173, June 1975.
15. C. V. Ramamoorthy and S. F. Ho, “Testing large software with automated software evaluation systems,” IEEE Trans. Software Eng., vol. SE-1, pp. 46–58, Mar. 1975.
16. 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, CU-CS-055-74, Sept. 1975.
17. R. H. Hoffman, “User information for the interactive automated test data generator,” NASA, Johnson Space Center, JSC Internal Note 74-FM-88, Jan. 1976.
18. C. V. Ramamoorthy and S. F. Ho, “FORTRAN automatic code evaluation system,” Electron. Res. Lab., Univ. California, Berkeley, Rep. M-466, Aug. 1974.
19. B. W. Boehm, R. K. McClean, and D. B. Urfig, “Some experience with automated aids to the design of large-scale reliable software,” IEEE Trans. Software Eng., vol. SE-1, pp. 125–133, Mar. 1975.
20. P. Henderson, “Finite state modelling in program development,” in Proc. 1975 1nt. Conf. Reliable Software, 1975, pp. 221–227.
21. R. L. Sites, “Algol-W reference manual,” Dep. Comput. Sci., Stanford Univ., Rep. CS-230, 1972.
22. R. E. Fairley, “An experimental program testing facility,” IEEE Trans. Software Eng., vol. SE-1, pp. 350–357, Dec. 1975.
23. L. G. Stucki and G. L. Foshee, “New assertion concepts for self metric software validation,” in Proc. 1975 Int. Conf. Reliable Software, 1975, pp. 59–71.
24. P. R. Benington, Data Reduction and Error Analysis for the Physical Sciences. New York: McGraw Hill, 1969.
25. E. F. Miller, “RXVP: An automated verification system for FORTRAN,” in Proc. Computer Science and Statistics: 8th Annu. Symp. on the Interface, 1975, p. 328.
26. 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, pp. 18-22.
27. R. M. Balzer, “EXDAMS-Extendable debugging and monitoring system,” in 1969 Spring Joint Comput. Conf., AFIPS Conf. Proc., vol. 34. Montvale, NJ: AFIPS Press, 1969, pp. 567–580.
28. L. P. Deutsch, “An interactive program verifier,” Ph.D. dissertation, Univ. California, Berkeley, May 1973.
29. R. M. Burstall, “Proving correctness as hand simulation with a little induction,” in Proc. IFIPS 74. Amsterdam, The Netherlands: North-Holland, 1974.
30. L. G. Stucki, “Automatic generation of self-metric software,” in Proc. 1973 IEEE Symp. Comput. Software Reliability, 1973, pp. 94-100.