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 …

There is a growing need for automated testing techniques aimed at Android apps. A critical
challenge is the systematic generation of test cases. One method of systematically …

Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

Program analysis tools typically compute two types of information:(1) may information that is
true of all program executions and is used to prove the absence of bugs in the program, and …

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 …

Intuition is often not a good guide to know which testing strategies will work best. There is no
substitute for experimental analysis based on objective criteria: how many faults a strategy …

DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D.
Capture the program's intended execution behavior with dynamic invariant detection. The …

We present JQF, a platform for performing coverage-guided fuzz testing in Java. JQF is
designed both for practitioners, who wish to find bugs in Java programs, as well as for …

We describe an algorithm for automatic test input generation for database applications.
Given a program in an imperative language that interacts with a database through API calls …

Background: Cross-company defect prediction (CCDP) is a field of study where an
organization lacking enough local data can use data from other organizations for building …