Revision as of 22:11, 13 May 2021 edit Dokidaki-ylc (talk \| contribs) 266 edits mNo edit summary Tag: Visual edit ← Previous edit		Revision as of 09:26, 14 May 2021 edit undo Novem Linguae (talk \| contribs) Edit filter managers, Election clerks, Interface administrators, Administrators 55,308 edits {{Software testing}} Next edit →
Line 266: * [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] {{Software testing}} {{DEFAULTSORT:Symbolic Execution}}

Symbolic execution: Difference between revisions