Debugging is a costly process that consumes much of developer time and energy. To help
reduce debugging effort, many studies have proposed various fault localization approaches …

Large, production quality distributed systems still fail periodically, and do so sometimes
catastrophically, where most or all users experience an outage or data loss. We present the …

Temporal properties are useful for describing and reasoning about software behavior, but
developers rarely write down temporal specifications of their systems. Prior work on inferring …

Concurrent systems are notoriously difficult to debug and understand. A common way of
gaining insight into system behavior is to inspect execution logs and documentation …

Automated program repair is a promising approach to reducing the costs of manual
debugging and increasing software quality. However, recent studies have shown that …

Automated program repair holds the potential to significantly reduce software maintenance
effort and cost. However, recent studies have shown that it often produces low-quality …

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 …

The Art and Science of Analyzing Software Data provides valuable information on analysis
techniques often used to derive insight from software data. This book shares best practices …

Formal specifcations are essential but usually unavailable in software systems. Furthermore,
writing these specifcations is costly and requires skills from developers. Recently, many …

Many modern user-intensive applications, such as Web applications, must satisfy the
interaction requirements of thousands if not millions of users, which can be hardly fully …