Reliability of the Path Analysis Testing Strategy

IEEE Transactions on Software Engineering

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

  Howden, William E ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Path analysis; program correctness; program testing; symbolic evaluation

Indexed keywords

COMPUTER PROGRAMMING;

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

References (20)

1. B. W. Boehm, R. K. McClean, and D. B. Urfrig, “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.
2. 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, Los Angeles, CA, Apr. 1975.
3. W. S. Brainerd and L. H. Landweber, Theory of Computation. New York: Wiley, 1974.
4. R. M. Burstall, “Proving correctness as hand simulation with a little induction,” in Proc. IFIPS1974. Amsterdam, The Netherlands: North-Holland, 1974.
5. L. Clarke, “A system to generate test data and symbolically execute programs,” Dep. Computer Sciences, Univ. of Colorado, Boulder, CO, Rep. CU-CS-060-75, Feb. 1975.
6. L. P. Deutsch, “An interactive program verifier,” Ph.D. dissertation, Univ. of California, Berkeley, May 1973.
7. A. Endres, “An analysis of errors and their causes in system programs,” in Proc. Int. Conf. Reliable Software, Los Angeles, CA, Apr. 1975.
8. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” in Proc. Int. Conf. Reliable Software, Los Angeles, CA, Apr. 1975.
9. R. H. Hoffman, “NASA/Johnson Space Center approach to automated test data generation,” in Proc. Computer Science and Statistics: 8th Annu. Symp. on the Interface, Los Angeles, CA, Feb. 1975.
10. W. E. Howden, “Automatic generation of program test data and proofs of program correctness,” Workshop on the Attainment of Reliable Software, Univ. of Toronto, Apr. 1974.
11. W. E. Howden and J. Laub, “Automatic case analysis of programs,” in Proc. Computer Science and Statistics: 8th Annu. Symp. on the Interface, Los Angeles, CA, Feb. 1975.
12. W. E. Howden, “Methodology for the generation of program test data,” IEEE Trans. Computers, vol. C-24, pp. 554-560, May 1975.
13. B. W. Kernighan and P. J. Plauger, The Elements of Programming Style. New York: McGraw-Hill, 1974.
14. J. C. King, “A new approach to program testing,” in Proc. Int. Conf. Reliable Software, Los Angeles, CA, Apr. 1975.
15. E. F. Miller, “RXVP: An automated verification system for FORTRAN,” in Proc. Computer Science and Statistics: 8th Annu. Symp. on the Interface, Los Angeles, CA, Feb. 1975.
16. L. J. Osterweil and L. D. Fosdick, “Data flow analysis as an aid in documentation, assertion generation, validation, and error detection,” Dep. Computer Science, Univ. of Colorado, Boulder, CO, Rep. 15, Sept. 1975.
17. M. L. Shooman and M. I. Bolsky, “Types, distribution, and test and correction times for programming errors,” in Proc. Int. Conf Reliable Software, Los Angeles, CA, Apr. 1975.
18. R. L. Sites, ALGOL W Reference Manual, Stanford Univ., Stanford, CA, STAN-CS-71-230,1971.
19. L. G. Stucki, “Automatic generation of self-metric software,” in Proc. IEEE Symp. Computer Software Reliability, New York, NY, 1973.
20. T. A. Thayer et al., “Software reliability study,” TRW Rep. 74-2260.1.9-29, June 1974.