Symbolic Execution and Program Testing

@article{King1976SymbolicEA,
  title={Symbolic Execution and Program Testing},
  author={James C. King},
  journal={Commun. ACM},
  year={1976},
  volume={19},
  pages={385-394}
}
This paper describes the symbolic execution of programs. Instead of supplying the normal inputs to a program (e.g. numbers) one supplies symbols representing arbitrary values. The execution proceeds as in a normal execution except that values may be symbolic formulas over the input symbols. The difficult, yet interesting issues arise during the symbolic execution of conditional branch type statements. A particular system called EFFIGY which provides symbolic execution for program testing and… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 1,701 CITATIONS, ESTIMATED 28% COVERAGE

FILTER CITATIONS BY YEAR

1977
2019

CITATION STATISTICS

  • 111 Highly Influenced Citations

  • Averaged 136 Citations per year over the last 3 years

  • 8% Increase in citations per year in 2018 over 2017

References

Publications referenced by this paper.

An interactive program verifier

  • L. P. Deutsch
  • Ph.D. Th., Dep. of Computer Sci., U. of…
  • 1973
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…