Select-A formal system for "Esting and debugging programs by symbolic execution

Proceedings of the 1975 International Conference on Reliable Software

Volumn , Issue , 1975, Pages 234-245

  Boyer, Robert S ^a   Elspas, Bernard ^a   Levitt, Karl N ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Program Debugging; Program Testing; Program Verification; Solution of Systems of Inequalities; Symbolic Execution; Test Data Generation

Indexed keywords

EID: 85041982582     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800027.808445     Document Type: Conference Paper

References (23)

1. [Benders 62] J. F. Benders, "Partitioning Procedures for Solving Mixed-Variables Programming Problems, " Numerische Mathematik 4, pp. 238-252 (1962).
2. [Brown, et al., 73] J. R. Brown, A. J. deSalvio, D. E. Heine, J. G. Purdy, "Automated Software Quality Assurance, " in Program Test Methods (W. C. Hetzel, ed.), Prentice-Hall, Inc., Englewood Cliffs, N. J.; pp. 181-203 (1973).
3. [Deutsch 73] L. P. Deutsch, "An Interactive Program Verifier, " Ph.D. dissertation, University of California, Berkeley, California (June 1973).
4. [Elspas, et al., 72] B. Elspas, M. W. Green, K. N. Levitt, R. J. Waldinger, "Research in Interactive Program Proving Techniques, " SRI Report 8398-11, Stanford Research Institute, Menlo Park, California (1972).
5. [Elspas, et al., 73] B. Elspas, K. N. Levitt, R. J. Waldinger, "An Interactive System for the Verification of Computer Programs, " Final Report, SRI Project 1891, Stanford Research Institute, Menlo Park, California (1973).
6. [Elspas 74] B. Elspas, "The Semiautomatic Generation of Inductive Assertions for Proving Program Correctness, " Interim Report, SRI Project 2686, Stanford Research Institute, Menlo Park, California (July 1974).
7. [Gomory 63] R. E. Gomory, "An Algorithm for Integer Solutions to Linear Programs, " in Recent Advances in Mathematical Programming, R. L. Graves and P. Wolfe (eds.), McGraw-Hill, New York (1963).
8. [Hetzel 73] W, C. Hetzel, "A Definitional Framework, " in Program Test Methods (Hetzel 1973b)j pp. 7-10. [Hetzel 73a]
9. W. C. Hetzel, "Principles of Computer Program Testing, " in Program Test Methods (Hetzel 1973b); pp. 17-28.
10. [Hetzel 73b] W. C. Hetzel, Program Test Methods, A collection of papers based on the Proceedings of the Computer Program Test Methods Symposium held at the University of North Carolina, Chapel Hill, 1972, edited by W. C. Hetzel, Prentice-Hall, Inc., Englewood Cliffs, N. j. (1973).
11. [Hoare 61] C. A. R. Hoare, "Algorithm 65, FIND, " Comm. ACM, Vol. 4, No. 7, p. 321 (1961).
12. [Hoare 71] C. A. R. Hoare, "Proof of a Program: FIND, " Comm. ACM, Vol. 14, No. 1, p. 39 (1971).
13. [Howden 74] W. Howden, "Methodology for the Automatic Generation of Program Test Data, " Technical Report No. 41, Dept. of Information and Computer Science, University of California, Irvine (15 February 1974).
14. [igarashi, et al. 73] S. Igarashi, R. London, D. Luckham, "Automatic Verification of Programs I: A Logical Basis and Implementation, " Memo AIM-200, Stanford Artificial Intelligence-Lab., Stanford, California (May 1973).
15. [Katz-Manna 73] S. M. Katz and Z. Manna, "A Heuristic Approach to Program Verification, " Proc. IFCAI-73 (August 1973).
16. [King 69] J. C. King, "A Program Verifier, " Ph.D. dissertation, Carnegie-Mellon University, Pittsburgh, Pennsylvania (September 1969).
17. [King 75] J. C. King, "A New Approach to Program Testing, " 1975 International Conference on Reliable Software.
18. [Miller 74] E. F. Miller, Jr., et al., "Structurally Based Automatic Program Testing, " paper presented at EASCON '74, Washington, D.C., October 7-9, 1974, available from General Research Corporation, Santa Barbara, California, August 12, 1974.
19. [Miller 74a] F. F. Miller, Jr., "Overview and Status-Program Validation Project, " Report dated 1 October 1974, General Research Corporation, Santa Barbara, California.
20. [Sites 74] R. Sites, "Clean Termination of Computer Programs, " Ph.D. dissertation, Stanford University, Stanford, California (June 1974).
21. [Teitelman, et al., 72] W. Teitelman, D. G. Bobrow, A. K. Hartley, D. L. Murphy, BBN-LISP, Tenex Reference Manual (Bolt, Beranek, Newman, Inc., Cambridge, Massachusetts (1972).
22. [Wegbreit 74] B. Wegbreit, "The Synthesis of Loop Predicates, " Comm. ACM, Vol. 16, No. 2, pp. 102-112 (Feburary 1974).
23. [Wensley 58] J. H. Wensley, "A Class of Non-Analytic Iterative Processes, " Computer Journal, Vol. 1, No. 4, pp. 163-167 (1958).