Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,247,829 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
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.
2020
2020
LEGION: Best-First Concolic Testing
Dongge Liu
,
G. Ernst
,
Toby C. Murray
,
Benjamin I. P. Rubinstein
35th IEEE/ACM International Conference on…
2020
Corpus ID: 211133144
Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains…
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
33rd IEEE/ACM International Conference on…
2018
Corpus ID: 13998120
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This…
Expand
2018
2018
Directed test generation using concolic testing on RTL models
Alif Ahmed
,
Farimah Farahmandi
,
P. Mishra
Design, Automation & Test in Europe Conference…
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
Giovanni Vigna
NDSS
2016
Corpus ID: 2388545
Memory corruption vulnerabilities are an everpresent risk in software, which attackers can exploit to obtain unauthorized access…
Expand
Highly Cited
2013
Highly Cited
2013
Boosting concolic testing via interpolation
J. Jaffar
,
V. Murali
,
J. Navas
ESEC/FSE
2013
Corpus ID: 2171225
Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major…
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
29th International Conference on Software…
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
ASE '07
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
CAV
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
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE