Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,492 papers from all fields of science
Search
Sign In
Create Free Account
Concolic testing
Known as:
Concolic
, Concolic execution
Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Broader (1)
Automated theorem proving
Boolean satisfiability problem
Code coverage
Constraint logic programming
Depth-first search
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Augmenting American Fuzzy Lop to Increase the Speed of Bug Detection
Ravi Mahajan
2019
Corpus ID: 86548074
2017
2017
Anxiety: A Dynamic Symbolic Execution Framework
A. Gerasimov
,
Sergey Vartanov
,
+4 authors
Sergey A. Asryan
Ivannikov ISPRAS Open Conference (ISPRAS)
2017
Corpus ID: 45777943
This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System…
Expand
2016
2016
Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool
Romain Aissat
,
M. Gaudel
,
Frédéric Voisin
,
B. Wolff
2016
Corpus ID: 8748417
Path-biased random testing is an interesting alternative to classical path-based approaches faced to the explosion of the number…
Expand
2015
2015
Evaluating Initial Inputs for Concolic Testing
Weiguang Wang
,
Qingkai Zeng
International Symposium on Theoretical Aspects of…
2015
Corpus ID: 16158040
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one…
Expand
2015
2015
Code analysis for vulnerability detection
Monniaux
2015
Corpus ID: 227889560
We develop code analysis tools in order to evaluate source or low-level code. We aim two types of diagnostic: robustness or…
Expand
2014
2014
Concolic Fault Abstraction
Chanseok Oh
,
Martin Schäf
,
Daniel Schwartz-Narbonne
,
Thomas Wies
IEEE 14th International Working Conference on…
2014
Corpus ID: 206553903
An integral part of all debugging activities is the task of diagnosing the cause of an error. Most existing fault diagnosis…
Expand
2013
2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
Qixing Dong
,
Jun Yan
,
Jian Zhang
,
Fan-Ping Zeng
International Conference on Quality Software
2013
Corpus ID: 10108807
Test generation plays an important role in software testing. Concolic testing runs concrete executions on programs simultaneously…
Expand
2012
2012
Comparison of Search Strategies of KLEE Concolic Testing Tool
Young-Joo Kim
,
Moonzoo Kim
,
Yunho Kim
,
Uikyung Jung
2012
Corpus ID: 62999560
Concolic (Concrete+symbolic) testing is an automated test case generation technique that works on target source code. This paper…
Expand
2011
2011
Target-Directed Concolic Testing
Zhan Cui
2011
Corpus ID: 63906606
Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic…
Expand
2011
2011
A Scalable Distributed Concolic Testing Approach
Moonzoo Kim
,
Yunho Kim
,
Gregg Rothermel
2011
Corpus ID: 27751722
Although testing is a standard method for improving the quality of software, conventional testing methods often fail to detect…
Expand