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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

We present hybrid concolic testing, an algorithm that interleaves random testing with
concolic execution to obtain both a deep and a wide exploration of program state space. Our …

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 …