Symbolic execution and program testing

  title={Symbolic execution and program testing},
  author={J. King},
  journal={Commun. ACM},
  • J. King
  • Published 1976
  • Computer Science
  • Commun. ACM
  • This paper describes the symbolic execution of programs. [...] Key Method It interpretively executes programs written in a simple PL/I style programming language. It includes many standard debugging features, the ability to manage and to prove things about symbolic expressions, a simple program testing manager, and a program verifier. A brief discussion of the relationship between symbolic execution and program proving is also included.Expand Abstract
    Array Representation in Symbolic Execution
    • 9
    Abstracting Symbolic Execution with String Analysis
    • 58
    • PDF
    Symbolic execution systems-a review
    • 85
    Closed Symbolic Execution for Verifying Program Termination
    • 10
    • PDF
    A survey of new trends in symbolic execution for software testing and analysis
    • 235
    • PDF
    Applications of symbolic evaluation
    • 86
    Symbolic Evaluation and the Analysis of Programs
    • 105
    Generalizing symbolic execution to library classes
    • 40
    • PDF