Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …

In the last two decades, a great amount of effort has been put in researching automated
debugging techniques to support developers in the debugging process. However, in a …

Understanding the root cause of a defect is critical to isolating and repairing buggy behavior.
We present Causal Testing, a new method of root-cause analysis that relies on the theory of …

When users experience a software failure, they have the option of submitting a bug report
and provide information about the failure and how it happened. If the bug report contains …

Reproducing production failures is crucial for software reliability. Alas, existing bug
reproduction approaches are not suitable for production systems because they are not …

Fault localization plays an important role in the design, verification and debugging of cyber-
physical systems (CPS). Finding the exact location of a fault that triggered a failure in a CPS …

We present Symbiosis: a concurrency debugging technique based on novel differential
schedule projections (DSPs). A DSP shows the small set of memory operations and data …

The author presents an effective method for modeling realistic curly hairstyles, taking into
account both artificial hairstyling processes and natural curliness. The result is a detailed …

Reproducing a bug that caused a system to crash is an important task for uncovering the
causes of the crash and providing appropriate fixes. In this paper, we propose a novel crash …

Mobile operating systems evolve quickly, frequently updating the APIs that app developers
use to build their apps. Unfortunately, API updates do not always guarantee backward …