Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations

Broader (1)

Automated theorem proving
Boolean satisfiability problemCode coverageConstraint logic programmingDepth-first search

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
We present grey-box concolic testing, a novel path-based test case generation method that combines the best of both white-box and… 
Highly Cited
2018
Highly Cited
2018
Concolic Testing for Deep Neural Networks
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This… 
Highly Cited
2018
Highly Cited
2018
QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Recently, hybrid fuzzing has been proposed to address the limitations of fuzzing and concolic execution by combining both… 
2018
2018
Directed test generation using concolic testing on RTL models
Functional validation is one of the most time consuming steps in System-on-Chip (SoC) design methodology. In today's industrial… 
Highly Cited
2016
Highly Cited
2016
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
—Memory corruption vulnerabilities are an ever- present risk in software, which attackers can exploit to obtain unauthorized… 
Highly Cited
2012
Highly Cited
2012
Automated concolic testing of smartphone apps
We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is based on concolic… 
Highly Cited
2007
Highly Cited
2007
Hybrid Concolic Testing
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep… 
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… 
Highly Cited
2006
Highly Cited
2006
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs… 
Highly Cited
2005
Highly Cited
2005
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by… 
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)