Revision as of 04:29, 20 May 2021 edit JoeHillen (talk \| contribs) 29 edits →Tools: Add crucible ← Previous edit		Revision as of 00:13, 30 June 2021 edit undo GreenC bot (talk \| contribs) Bots 3,061,570 edits Rescued 1 archive link. Wayback Medic 2.5 Next edit →
Line 269: ==External links== * [http://www.cs.umd.edu/~mwh/se-tutorial/symbolic-exec.pdf Symbolic Execution for finding bugs] * [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]

Symbolic execution: Difference between revisions