Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Concolic_testing> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- Concolic_testing abstract "Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical technique that treats program variables as symbolic variables, along a concrete execution (testing on particular inputs) path. Symbolic execution is used in conjunction with an automated theorem prover or constraint solver based on constraint logic programming to generate new concrete inputs (test cases) with the aim of maximizing code coverage. Its main focus is finding bugs in real-world software, rather than demonstrating program correctness.A description and discussion of the concept was introduced in \"DART: Directed Automated Random Testing\" by Patrice Godefroid, Nils Klurland, and Koushik Sen. The paper \"CUTE: A concolic unit testing engine for C\", by Koushik Sen, Darko Marinov, and Gul Agha, further extended the idea to data structures, and first coined the term concolic testing. Another tool, called EGT (renamed to EXE and later improved and renamed to KLEE), based on similar ideas was independently developed by Cristian Cadar and Dawson Engler in 2005, and published in 2005 and 2006. PathCrawler first proposed to perform symbolic execution along a concrete execution path, but unlike concolic testing PathCrawler does not simplify complex symbolic constraints using concrete values. These tools (DART and CUTE, EXE) applied concolic testing to unit testing of C programs and concolic testing was originally conceived as a white box improvement upon established random testing methodologies. The technique was later generalized to testing multithreaded Java programs with jCUTE, and unit testing programs from their executable codes (tool OSMOSE). It was also combined with fuzz testing and extended to detect exploitable security issues in large-scale x86 binaries by Microsoft Research's SAGE.The concolic approach is also applicable to model checking. In a concolic model checker, the model checker traverses states of the model representing the software being checked, while storing both a concrete state and a symbolic state. The symbolic state is used for checking properties on the software, while the concrete state is used to avoid reaching unreachable state. One such tool is ExpliSAT by Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening and Ishai Rabinovitz".
- Concolic_testing wikiPageExternalLink crest.
- Concolic_testing wikiPageExternalLink boolector.
- Concolic_testing wikiPageExternalLink klee.github.io.
- Concolic_testing wikiPageExternalLink cute.
- Concolic_testing wikiPageExternalLink pathcrawler-online.com.
- Concolic_testing wikiPageExternalLink pathcrawler-online.com.
- Concolic_testing wikiPageExternalLink pex.
- Concolic_testing wikiPageExternalLink triton.quarkslab.com.
- Concolic_testing wikiPageExternalLink z3.codeplex.com.
- Concolic_testing wikiPageExternalLink jalangi.
- Concolic_testing wikiPageExternalLink cuter.
- Concolic_testing wikiPageExternalLink janala2.
- Concolic_testing wikiPageExternalLink stpfastprover.
- Concolic_testing wikiPageExternalLink z3strsolver.
- Concolic_testing wikiPageExternalLink pin-a-dynamic-binary-instrumentation-tool.
- Concolic_testing wikiPageID "25029425".
- Concolic_testing wikiPageLength "15796".
- Concolic_testing wikiPageOutDegree "32".
- Concolic_testing wikiPageRevisionID "698214010".
- Concolic_testing wikiPageWikiLink .NET_Framework.
- Concolic_testing wikiPageWikiLink Automated_theorem_proving.
- Concolic_testing wikiPageWikiLink BSD_licenses.
- Concolic_testing wikiPageWikiLink Boolean_satisfiability_problem.
- Concolic_testing wikiPageWikiLink C_(programming_language).
- Concolic_testing wikiPageWikiLink Category:Automated_theorem_proving.
- Concolic_testing wikiPageWikiLink Code_coverage.
- Concolic_testing wikiPageWikiLink Constraint_logic_programming.
- Concolic_testing wikiPageWikiLink Depth-first_search.
- Concolic_testing wikiPageWikiLink Fuzz_testing.
- Concolic_testing wikiPageWikiLink Java.
- Concolic_testing wikiPageWikiLink Java_(programming_language).
- Concolic_testing wikiPageWikiLink LLVM.
- Concolic_testing wikiPageWikiLink MD5.
- Concolic_testing wikiPageWikiLink Microsoft_Research.
- Concolic_testing wikiPageWikiLink Microsoft_Visual_Studio.
- Concolic_testing wikiPageWikiLink Model_checking.
- Concolic_testing wikiPageWikiLink Portmanteau.
- Concolic_testing wikiPageWikiLink Random_testing.
- Concolic_testing wikiPageWikiLink Satisfiability_modulo_theories.
- Concolic_testing wikiPageWikiLink Software_testing.
- Concolic_testing wikiPageWikiLink Software_verification.
- Concolic_testing wikiPageWikiLink Symbolic_execution.
- Concolic_testing wikiPageWikiLink Tree_(data_structure).
- Concolic_testing wikiPageWikiLink University_of_Illinois_at_Urbana–Champaign.
- Concolic_testing wikiPageWikiLink White_box_(software_engineering).
- Concolic_testing wikiPageWikiLink X86.
- Concolic_testing wikiPageWikiLink File:Concolic_testing_example.svg.
- Concolic_testing wikiPageWikiLinkText "Concolic testing".
- Concolic_testing wikiPageWikiLinkText "concolic testing".
- Concolic_testing subject Category:Automated_theorem_proving.
- Concolic_testing hypernym Technique.
- Concolic_testing type TopicalConcept.
- Concolic_testing type Method.
- Concolic_testing type Proof.
- Concolic_testing comment "Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical technique that treats program variables as symbolic variables, along a concrete execution (testing on particular inputs) path. Symbolic execution is used in conjunction with an automated theorem prover or constraint solver based on constraint logic programming to generate new concrete inputs (test cases) with the aim of maximizing code coverage.".
- Concolic_testing label "Concolic testing".
- Concolic_testing sameAs Q5158734.
- Concolic_testing sameAs m.09gqkz2.
- Concolic_testing sameAs Q5158734.
- Concolic_testing wasDerivedFrom Concolic_testing?oldid=698214010.
- Concolic_testing isPrimaryTopicOf Concolic_testing.