Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Symbolic_execution> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items 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 jpf.
- Symbolic_execution wikiPageExternalLink fuzzball.html.
- Symbolic_execution wikiPageExternalLink s2e.
- Symbolic_execution wikiPageExternalLink klee-files.html.
- Symbolic_execution wikiPageExternalLink symexbib.
- Symbolic_execution wikiPageID "607674".
- Symbolic_execution wikiPageRevisionID "598666746".
- Symbolic_execution hasPhotoCollection Symbolic_execution.
- Symbolic_execution subject Category:Abstract_interpretation.
- 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 label "符号执行".
- Symbolic_execution sameAs m.04ydfsv.
- Symbolic_execution sameAs Q7661178.
- Symbolic_execution sameAs Q7661178.
- Symbolic_execution wasDerivedFrom Symbolic_execution?oldid=598666746.
- Symbolic_execution isPrimaryTopicOf Symbolic_execution.