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 …

Parameterized unit tests extend the current industry practice of using closed unit tests
defined as parameterless methods. Parameterized unit tests separate two concerns: 1) They …

Recent work has used variations of symbolic execution to automatically generate high-
coverage test inputs [3, 4, 7, 8, 14]. Such tools have demonstrated their ability to find very …

Unit tests are becoming popular. Are there ways to automate the generation of good unit
tests? Parameterized unit tests are unit tests that depend on inputs. PUTs describe behavior …

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 …

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 …

Abstract CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and
automatically test sequential C programs (including pointers) and concurrent Java …

State-of-the art techniques for automated test generation focus on generating executions
that cover program behavior. As they do not generate oracles, it is up to the developer to …

Constraint-based testing is a novel way of generating test data to detect specific types of
common programming faults. The conditions under which faults will be detected are …