Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Symbolic_execution> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Symbolic_execution abstract "In computer science, symbolic execution (also symbolic evaluation) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would, a case of abstract interpretation. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch.The field of symbolic simulation applies the same concept to hardware. Symbolic computation applies the concept to the analysis of mathematical expressions.".
- Symbolic_execution wikiPageExternalLink angr.io.
- Symbolic_execution wikiPageExternalLink jpf.
- Symbolic_execution wikiPageExternalLink fuzzball.html.
- Symbolic_execution wikiPageExternalLink s2e.
- Symbolic_execution wikiPageExternalLink mayhem.html.
- Symbolic_execution wikiPageExternalLink klee.github.io.
- Symbolic_execution wikiPageExternalLink pex.
- Symbolic_execution wikiPageExternalLink triton.quarkslab.com.
- Symbolic_execution wikiPageExternalLink Kite.
- Symbolic_execution wikiPageExternalLink ssarorwa.pdf.
- Symbolic_execution wikiPageExternalLink symdroid.pdf.
- Symbolic_execution wikiPageExternalLink symbolic-exec.pdf.
- Symbolic_execution wikiPageExternalLink www.key-project.org.
- Symbolic_execution wikiPageExternalLink overview.
- Symbolic_execution wikiPageExternalLink jalangi.
- Symbolic_execution wikiPageExternalLink pathgrind.
- Symbolic_execution wikiPageExternalLink pysymemu.
- Symbolic_execution wikiPageExternalLink janala2.
- Symbolic_execution wikiPageExternalLink jcute.
- Symbolic_execution wikiPageExternalLink symexbib.
- Symbolic_execution wikiPageID "607674".
- Symbolic_execution wikiPageLength "6755".
- Symbolic_execution wikiPageOutDegree "15".
- Symbolic_execution wikiPageRevisionID "682605864".
- Symbolic_execution wikiPageWikiLink .NET_Framework.
- Symbolic_execution wikiPageWikiLink Abstract_interpretation.
- Symbolic_execution wikiPageWikiLink Category:Abstract_interpretation.
- Symbolic_execution wikiPageWikiLink Computer_science.
- Symbolic_execution wikiPageWikiLink Concolic_testing.
- Symbolic_execution wikiPageWikiLink Constraint_programming.
- Symbolic_execution wikiPageWikiLink Constraint_solver.
- Symbolic_execution wikiPageWikiLink Dalvik_(software).
- Symbolic_execution wikiPageWikiLink Dynamic_program_analysis.
- Symbolic_execution wikiPageWikiLink JavaScript.
- Symbolic_execution wikiPageWikiLink Ruby_(programming_language).
- Symbolic_execution wikiPageWikiLink Symbolic_computation.
- Symbolic_execution wikiPageWikiLink Symbolic_simulation.
- Symbolic_execution wikiPageWikiLinkText "Symbolic execution".
- Symbolic_execution wikiPageWikiLinkText "symbolic execution".
- Symbolic_execution wikiPageWikiLinkText "symbolically executed".
- Symbolic_execution hasPhotoCollection Symbolic_execution.
- Symbolic_execution wikiPageUsesTemplate Template:Portal.
- Symbolic_execution subject Category:Abstract_interpretation.
- Symbolic_execution hypernym Means.
- Symbolic_execution type Person.
- Symbolic_execution type Method.
- Symbolic_execution type Thing.
- Symbolic_execution comment "In computer science, symbolic execution (also symbolic evaluation) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would, a case of abstract interpretation.".
- Symbolic_execution label "Symbolic execution".
- Symbolic_execution sameAs m.04ydfsv.
- Symbolic_execution sameAs Q7661178.
- Symbolic_execution sameAs Q7661178.
- Symbolic_execution sameAs 符号执行.
- Symbolic_execution wasDerivedFrom Symbolic_execution?oldid=682605864.
- Symbolic_execution isPrimaryTopicOf Symbolic_execution.