Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,935,571 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.
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
Obfuscation through simplicity
M. R. Asghar
,
Steven D. Galbraith
,
G. Russello
2016
Corpus ID: 13704505
The paper is about obfuscating control flow of programs against static and dynamic attacks, such as symbolic or concolic tools…
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
2013
2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
Qixing Dong
,
Jun Yan
,
Jian Zhang
,
Fanping 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
2013
2013
Software-Architecture Recovery from Machine Code ∗
Venkatesh Srinivasan
2013
Corpus ID: 12818779
In this paper, we present a tool, called Lego, which recovers object-oriented software architecture from stripped binaries. Lego…
Expand
2012
2012
Comparison of Search Strategies of KLEE Concolic Testing Tool
Young-Joo Kim
,
Moonzoo Kim
,
Yunho Kim
,
Ui-June 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
2012
2012
MAGIC: Path-Guided Concolic Testing
Wei Le
,
Linzhang Wang
,
M. Soffa
,
Xuandong Li
,
Zhanqi Cui
2012
Corpus ID: 18371806
Concolic testing has been proposed as an effective technique to automatically test software. The goal of concolic testing is to…
Expand
2011
2011
Target-Directed Concolic Testing
Cui Zhan
2011
Corpus ID: 63906606
Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic…
Expand
2011
2011
Concolic testing of the multi-sector read operation for flash storage platform software
Moonzoo Kim
,
Yunho Kim
,
Yunja Choi
Formal Aspects of Computing
2011
Corpus ID: 253684774
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In…
Expand