Content deleted Content added
Move GitHub link in History section to the external link section |
1970s Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit |
||
Line 250:
==History==
The concept of symbolic execution was introduced academically in the 1970s with descriptions of: the Select system,<ref>Robert S. Boyer and Bernard Elspas and Karl N. Levitt SELECT--a formal system for testing and debugging programs by symbolic execution, Proceedings of the International Conference on Reliable Software, 1975,page 234--245, Los Angeles, California</ref>
the EFFIGY system,<ref>James C. King,Symbolic execution and program testing, Communications of the ACM, volume 19, number 7, 1976, 385--394</ref>
the DISSECT system,<ref>William E. Howden, Experiments with a symbolic evaluation system, Proceedings, National Computer Conference, 1976.</ref>
| |||