Program dependence graphs have been proposed for use in optimizing, vectorizing, and
parallelizing compilers, and for program integration. This paper proposes their use as the …

It is very hard to fix a software failure without being able to reproduce it. However,
reproducing a failure is often difficult and time-consuming. This paper proposes a novel …

The origin of the study described here is the experiment performed by Basili and Selby,
further replicated by Kamsties and Lott, and once again by Wood et al. These experiments …

Automaton-based static program analysis has proved to be an effective tool for bug finding.
Current tools generally re-analyze a program from scratch in response to a change in the …

A dynamic technique is presented for statistically estimating 3 program characteristics that
affect a program's computational behavior: 1. the probability that a particular section of a …

Tutorial: Static Analysis and Dynamic Testing of Computer Software Page 1 Tutorial: Static
Analysis and Dynamic Testing of Computer Software Richard E. Fairley Colorado State …

Mutation testing measures the adequacy of a test suite by seeding artificial defects
(mutations) into a program. If a test suite fails to detect a mutation, it may also fail to detect …

A common method to localize defects is to compare the coverage of passing and failing
program runs: A method executed only in failing runs, for instance, is likely to point to the …

Developers spend a lot of time searching for the root causes of software failures. For this,
they traditionally try to reproduce those failures, but unfortunately many failures are so hard …

Genetic algorithms have been used successfully to generate software test data
automatically; all branches were covered with substantially fewer generated tests than …