Symbolic execution: Difference between revisions

Revision as of 05:11, 30 December 2021

Revision as of 04:48, 20 January 2022

Line 254:

the DISSECT system,<ref>William E. Howden, Experiments with a symbolic evaluation system, Proceedings, National Computer Conference, 1976.</ref>

and Clarke's system.<ref>Lori A. Clarke, A program testing system, ACM 76: Proceedings of the Annual Conference, 1976, pages 488-491, Houston, Texas, United States</ref>

See a [https://github.com/saswatanand/symexbib bibliography] of more technical papers published on symbolic execution.

==See also==

Line 271 ⟶ 270:

* [https://web.archive.org/web/20111017144043/http://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/presentations/start/ICSE2011Short.pptx Symbolic Execution and Software Testing presentation at NASA Ames]

* [https://ti.arc.nasa.gov/publications/3007/download/ Symbolic Execution for Software Testing in Practice – Preliminary Assessment]

See a* [https://github.com/saswatanand/symexbib A bibliography] of more technical papers publishedrelated onto symbolic execution.]

{{Software testing}}