CONTEXT: Automated static analysis (ASA) identifies potential source code anomalies early
in the software development lifecycle that could lead to field failures. Excessive alert …

We present a new technique for exploiting static analysis to guide dynamic automated test
generation for binary programs, prioritizing the paths to be explored. Our technique is a …

In an object-oriented program, a unit test often consists of a sequence of method calls that
create and mutate objects, then use them as arguments to a method under test. It is …

This paper presents an automatic technique for generating maintainable regression unit
tests for programs. We found previous test generation techniques inadequate for two main …

A program fails. What now? Taking a single failing run, we record and minimize the
interaction between objects to the set of calls relevant for the failure. The result is a minimal …

Recently, we developed an approach for automated termination proofs of Java Bytecode
(JBC), which is based on constructing and analyzing termination graphs. These graphs …

Container classes such as lists, sets, or maps are elementary data structures common to
many programming languages. Since they are a part of standard libraries, they are important …

A failed test reveals a potential bug in the tested code. Developers need to understand
which parts of the test are relevant to the failure before they start bug-fixing. This paper …

Automated debugging attempts to locate the reason for a failure. Delta debugging minimizes
the difference between two inputs, where one input is processed correctly while the other …

Intuition suggests that random testing should exhibit a considerable difference in the number
of faults detected by two different runs of equal duration. As a consequence, random testing …