Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7661178> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Q7661178 subject Q11721833.
- Q7661178 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.".
- Q7661178 wikiPageExternalLink angr.io.
- Q7661178 wikiPageExternalLink jpf.
- Q7661178 wikiPageExternalLink fuzzball.html.
- Q7661178 wikiPageExternalLink mayhem.html.
- Q7661178 wikiPageExternalLink klee.github.io.
- Q7661178 wikiPageExternalLink pex.
- Q7661178 wikiPageExternalLink s2e.epfl.ch.
- Q7661178 wikiPageExternalLink triton.quarkslab.com.
- Q7661178 wikiPageExternalLink Kite.
- Q7661178 wikiPageExternalLink ssarorwa.pdf.
- Q7661178 wikiPageExternalLink symdroid.pdf.
- Q7661178 wikiPageExternalLink symbolic-exec.pdf.
- Q7661178 wikiPageExternalLink www.key-project.org.
- Q7661178 wikiPageExternalLink overview.
- Q7661178 wikiPageExternalLink jalangi2.
- Q7661178 wikiPageExternalLink pathgrind.
- Q7661178 wikiPageExternalLink pysymemu.
- Q7661178 wikiPageExternalLink janala2.
- Q7661178 wikiPageExternalLink jcute.
- Q7661178 wikiPageExternalLink symexbib.
- Q7661178 wikiPageWikiLink Q11721833.
- Q7661178 wikiPageWikiLink Q161053.
- Q7661178 wikiPageWikiLink Q175515.
- Q7661178 wikiPageWikiLink Q2005.
- Q7661178 wikiPageWikiLink Q21198.
- Q7661178 wikiPageWikiLink Q2499307.
- Q7661178 wikiPageWikiLink Q333341.
- Q7661178 wikiPageWikiLink Q5158734.
- Q7661178 wikiPageWikiLink Q528588.
- Q7661178 wikiPageWikiLink Q5289.
- Q7661178 wikiPageWikiLink Q754752.
- Q7661178 wikiPageWikiLink Q7661189.
- Q7661178 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.".
- Q7661178 label "Symbolic execution".