Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …

We present Chameleon, a new approach for adaptively changing search heuristics during
concolic testing. Search heuristics play a central role in concolic testing as they mitigate the …

We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …

We present template-guided concolic testing, a new technique for effectively reducing the
search space in concolic testing. Addressing the path-explosion problem has been a …

One of the biggest challenges in concolic testing, an automatic test generation technique, is
its huge search space. Concolic testing generates next inputs by selecting branches from …

Concolic testing integrates concrete execution (eg, random testing) and symbolic execution
for test case generation. It is shown to be more cost-effective than random testing or …

Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …

Concolic testing automates test input generation by combining the concrete and symbolic
(concolic) execution of the code under test. Traditional test input generation techniques use …

Concolic testing is a promising method for generating test suites for large programs.
However, it suffers from the path-explosion problem and often fails to find tests that cover …

Current industrial testing practices often generate test cases in a manual manner, which
degrades both the effectiveness and efficiency of testing. To alleviate this problem, concolic …