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 …

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 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 …

Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …

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 …

Whilst there is much evidence that both concolic and search based testing can outperform
random testing, there has been little work demonstrating the effectiveness of either …

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 …

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 …

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

Although testing is a standard method for improving the quality of software, conventional
testing methods often fail to detect faults. Concolic testing attempts to remedy this by …