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 …

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 …

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 …

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

Recently there has been great success in using symbolic execution to automatically
generate test inputs for small software systems. A primary challenge in scaling such …

We present novel algorithms for parallel testing of code that takes structurally complex test
inputs. The algorithms build on the Korat algorithm for constraint-based generation of …

Web applications routinely handle sensitive data, and many people rely on them to support
various daily activities, so errors can have severe and broad-reaching consequences …

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 …