About: Concolic testing

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Software verification technique

Property	Value
dbo:description	Software verification technique (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Concolic_testing_example.svg?width=300
dbo:wikiPageExternalLink	https://github.com/SRA-SiliconValley/jalangi https://github.com/aggelgian/cuter/ https://github.com/ksen007/janala2 http://pathcrawler-online.com/ http://www.burn.im/crest/ https://klee.github.io/ http://triton.quarkslab.com https://web.archive.org/web/20100722003915/http:/research.microsoft.com/en-us/projects/pex/ http://osl.cs.illinois.edu/software/jcute/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Microsoft_Research dbr:Satisfiability_modulo_theories dbr:Java_(programming_language) dbr:Code_coverage dbr:Depth-first_search dbc:Software_testing dbr:White_box_(software_engineering) dbr:C_(programming_language) dbc:Automated_theorem_proving dbr:Software_testing dbr:Boolean_satisfiability_problem dbr:LLVM dbr:X86 dbr:Instrumentation_(computer_programming) dbr:University_of_Illinois/NCSA_Open_Source_License dbr:Random_testing dbr:Symbolic_execution dbr:Constraint_logic_programming dbr:Automated_theorem_prover dbr:Software_verification dbr:Portmanteau dbr:Daniel_Kroening dbr:C_programming_language dbr:Dawson_Engler dbr:BSD_license dbr:Modified_BSD_license dbr:NET_Framework dbr:Java_programming_language dbr:Fuzz_testing dbr:Microsoft_Visual_Studio_2010 dbr:File:Concolic_testing_example.svg dbr:SHA256 dbr:Tree_data_structure
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation_needed dbt:Proper_name dbt:Short_description dbt:Software_testing
dct:subject	dbc:Software_testing dbc:Automated_theorem_proving
gold:hypernym	dbr:Technique
rdfs:label	Concolic testing (en)
owl:sameAs	freebase:Concolic testing wikidata:Concolic testing dbpedia-global:Concolic testing dbr:Concolic testing
prov:wasDerivedFrom	wikipedia-en:Concolic_testing?oldid=1283289247&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Concolic_testing_example.svg
foaf:isPrimaryTopicOf	wikipedia-en:Concolic_testing
is dbo:wikiPageRedirects of	dbr:Concolic dbr:Concolic_execution
is dbo:wikiPageWikiLink of	dbr:Satisfiability_modulo_theories dbr:Fuzzing dbr:Random_testing dbr:Symbolic_execution dbr:David_L._Dill dbr:Concolic dbr:Concolic_execution
is foaf:primaryTopic of	wikipedia-en:Concolic_testing