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 …

Bugs in programs are often introduced when programs evolve from a stable version to a new
version. In this article, we propose a new approach called DARWIN for automatically finding …

This paper introduces DIDUCE, a practical and effective tool that aids programmers in
detecting complex program errors and identifying their root causes. By instrumenting a …

Automated localization of software bugs is one of the essential issues in debugging aids.
Previous studies indicated that the evaluation history of program predicates may disclose …

Many static and dynamic analyses have been developed to improve program quality.
Several of them are well known and widely used in practice. It is not entirely clear, however …

Effective bug localization is important for realizing automated debugging. One attractive
approach is to apply statistical techniques on a collection of evaluation profiles of program …

Natural language elements in source code, eg, the names of variables and functions,
convey useful information. However, most existing bug detection tools ignore this …

Researchers have proposed a number of tools for automatic bug localization. Given a
program and a description of the failure, such tools pinpoint a set of statements that are most …

Benchmarks for bug detection tools are still in their infancy. Though in recent years various
tools and techniques were introduced, little effort has been spent on creating a benchmark …

Software defects can cause much loss. Static bug-finding tools are believed to help detect
and remove defects. These tools are designed to find programming errors; but, do they in …