About: Symbolic execution

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technique for Program Analysis

Property	Value
dbo:description	Technique for Program Analysis (en)
dbo:wikiPageExternalLink	https://github.com/ksen007/janala2 https://klee.github.io/ https://triton.quarkslab.com http://angr.io/ http://bitblaze.cs.berkeley.edu/fuzzball.html http://s2e.systems/ http://webblaze.cs.berkeley.edu/2010/kudzu/kudzu.pdf http://www.comp.ita.br/labsca/waiaf/papers/RafaelShigemura_paper_16.pdf https://emina.github.io/rosette/ https://maat.re/ http://binsec.github.io http://forallsecure.com https://github.com/ConsenSys/mythril https://github.com/ExpoSEJS/ExpoSE https://github.com/GaloisInc/crucible https://github.com/NMHai/BE-PUM https://github.com/Samsung/jalangi2 https://github.com/SymbolicPathFinder https://github.com/codelion/pathgrind https://github.com/feliam/pysymemu/ https://github.com/osl/jcute https://github.com/pietrobraione/jbse https://github.com/saswatanand/symexbib https://github.com/trailofbits/manticore/ http://research.microsoft.com/en-us/projects/pex/ http://www.cs.ubc.ca/labs/isd/Projects/Kite/ https://sites.google.com/view/smartcontract-analysis/home https://www.doc.ic.ac.uk/~pg/publications/FragosoSantos2019JaVerT.pdf https://bitbucket.org/khooyp/otter/overview http://www.cs.umd.edu/~avik/papers/ssarorwa.pdf http://www.cs.umd.edu/~jfoster/papers/symdroid.pdf http://www.cs.umd.edu/~mwh/se-tutorial/symbolic-exec.pdf https://core.ac.uk/download/pdf/24067593.pdf https://ti.arc.nasa.gov/publications/3007/download/ https://dblp.uni-trier.de/rec/bibtex/journals/tissec/CadarGPDE08 https://people.cs.kuleuven.be/~bart.jacobs/verifast http://www.key-project.org/ https://web.archive.org/web/20111017144043/http:/babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/presentations/start/ICSE2011Short.pptx
dbo:wikiPageWikiLink	dbr:Input_(computer_science) dbr:.NET_Framework dbr:Dynamic_recompilation dbr:Aliasing_(computing) dbr:Program_analysis dbr:Abstract_interpretation dbc:Abstract_interpretation dbr:JavaScript dbr:Computer_science dbr:System_call dbr:Ruby_(programming_language) dbr:Racket_(programming_language) dbr:Dalvik_(software) dbr:Inter-process_communication dbr:Interpreter_(computing) dbr:Dynamic_program_analysis dbc:Computer_science dbr:Execution_(computing) dbr:Control-flow_graph dbr:Symbolic_simulation dbr:Concolic_testing dbr:Ethereum dbr:Symbolic_computation dbr:Constraint_solver
dbp:wikiPageUsesTemplate	dbt:Main dbt:Free dbt:Proprietary dbt:Short_description dbt:Software_testing
dct:subject	dbc:Abstract_interpretation dbc:Program_analysis
gold:hypernym	dbr:Means
rdfs:label	Symbolic execution (en) تنفيذ رمزي (ar) 기호 실행 (ko) 符号执行 (zh)
owl:sameAs	freebase:Symbolic execution wikidata:Symbolic execution dbpedia-zh:Symbolic execution dbpedia-fa:Symbolic execution dbpedia-ko:Symbolic execution dbpedia-ar:Symbolic execution dbpedia-global:Symbolic execution
prov:wasDerivedFrom	wikipedia-en:Symbolic_execution?oldid=1291924150&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Symbolic_execution
is dbo:wikiPageDisambiguates of	dbr:Symbolic
is dbo:wikiPageRedirects of	dbr:Symbolic_evaluation
is dbo:wikiPageWikiLink of	dbr:Satisfiability_modulo_theories dbr:Abstract_interpretation dbr:History_of_mathematical_notation dbr:Static_program_analysis dbr:Fuzzing dbr:MALPAS_Software_Static_Analysis_Toolset dbr:Symbolic dbr:Test_design dbr:WebAssembly dbr:Predicate_transformer_semantics dbr:Symbolic_simulation dbr:Concolic_testing dbr:Grigore_Roșu dbr:Differential_testing dbr:KeY dbr:Harry_R._Lewis dbr:2016_Cyber_Grand_Challenge dbr:Symbolic_evaluation
is foaf:primaryTopic of	wikipedia-en:Symbolic_execution