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 …

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 …

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 …

We report on GADGET, a new software test generation system that uses combinatorial
optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system …

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

Recently, tools for the analysis and visualization of code coverage have become widely
available. At first glance, their value in assessing and improving the quality of automated test …

We report on GADGET, a new software test generation system that uses combinatorial
optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system …

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 …

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 …