Concolic testing is a well-known unit test generation technique. However, bottlenecks such
as constraint solving prevents concolic testers to be used in large projects. We propose a …

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 …

In unit testing, a program is decomposed into units which are collections of functions. A part
of unit can be tested by generating inputs for a single entry function. The entry function may …

Context Concolic testing is a promising approach to automate structural test data generation.
However, combinatorial explosion of the path space, known as path explosion, and also …

Concolic testing generates test data by combining concrete program execution and symbolic
execution to achieve high test coverage. CREST is a representative open-source test tool …

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 is an automated software testing method that combines concrete and
symbolic execution to achieve high code coverage and expose bugs in the program under …

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 …

Constraint solving is a frequent, but expensive operation with symbolic execution to
generate tests for a program. To improve the efficiency of test generation using constraint …

Concolic testing is an automatic testing technique which combines concrete execution and
symbolic execution together. Concolic testing only focuses on programs under test, and …