Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 215,133,649 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.
Highly Cited
2019
Highly Cited
2019
Grey-Box Concolic Testing on Binary Code
Jaeseung Choi
,
J. Jang
,
Choongwoo Han
,
S. Cha
International Conference on Software Engineering
2019
Corpus ID: 140120428
We present grey-box concolic testing, a novel path-based test case generation method that combines the best of both white-box and…
Expand
Highly Cited
2018
Highly Cited
2018
Concolic Testing for Deep Neural Networks
Youcheng Sun
,
Min Wu
,
Wenjie Ruan
,
Xiaowei Huang
,
M. Kwiatkowska
,
D. Kroening
International Conference on Automated Software…
2018
Corpus ID: 13998120
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This…
Expand
Highly Cited
2018
Highly Cited
2018
QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Insu Yun
,
Sangho Lee
,
Meng Xu
,
Yeongjin Jang
,
Taesoo Kim
USENIX Security Symposium
2018
Corpus ID: 52047247
Recently, hybrid fuzzing has been proposed to address the limitations of fuzzing and concolic execution by combining both…
Expand
2018
2018
Directed test generation using concolic testing on RTL models
Alif Ahmed
,
Farimah Farahmandi
,
P. Mishra
Design, Automation and Test in Europe
2018
Corpus ID: 5091742
Functional validation is one of the most time consuming steps in System-on-Chip (SoC) design methodology. In today's industrial…
Expand
Highly Cited
2016
Highly Cited
2016
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Nick Stephens
,
John Grosen
,
+6 authors
G. Vigna
Network and Distributed System Security Symposium
2016
Corpus ID: 2388545
—Memory corruption vulnerabilities are an ever- present risk in software, which attackers can exploit to obtain unauthorized…
Expand
Highly Cited
2012
Highly Cited
2012
Automated concolic testing of smartphone apps
Saswat Anand
,
M. Naik
,
M. J. Harrold
,
Hongseok Yang
SIGSOFT FSE
2012
Corpus ID: 500458
We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is based on concolic…
Expand
Highly Cited
2007
Highly Cited
2007
Hybrid Concolic Testing
R. Majumdar
,
Koushik Sen
International Conference on Software Engineering
2007
Corpus ID: 6760091
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep…
Expand
Review
2007
Review
2007
Concolic testing
Koushik Sen
International Conference on Automated Software…
2007
Corpus ID: 5766488
Concolic testing automates test input generation by combining the concrete and symbolic (concolic) execution of the code under…
Expand
Highly Cited
2006
Highly Cited
2006
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
Koushik Sen
,
G. Agha
International Conference on Computer Aided…
2006
Corpus ID: 8260828
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs…
Expand
Highly Cited
2005
Highly Cited
2005
CUTE: a concolic unit testing engine for C
Koushik Sen
,
D. Marinov
,
G. Agha
ESEC/FSE-13
2005
Corpus ID: 5901985
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE