Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …

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 …

Recently, concolic testing has drawn a lot of attention from the research community as a
practical solution of overcoming limitations of manual test case generation. CONBOL, a …

Although concolic testing is increasingly being explored as a viable software verification
technique, its adoption in mainstream software development and testing in the industry is not …

Current industrial testing practices often build test cases in a manual manner, which is slow
and ineffective. To alleviate this problem, concolic testing generates test cases that can …

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 …

Concolic testing is a software testing technique, which improves the scalability of symbolic
execution by allowing efficient concretization of symbolic expressions. Concretization …

As smartphones become popular, manufacturers such as Samsung Electronics are
developing smartphones with rich functionality such as a camera and photo editing quickly …

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 …

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 …