Frank Tip

TL;DR: An overview of the applications of program slicing, which include debugging, program integration, dataflow testing, and software maintenance is presented, including the various general approaches used to compute slices.

TL;DR: A program slice consists of the parts of a program that (potentially) affect the values computed at some point of interest, referred to as a slicing criterion, and is typically specified by a location in the program in combination with a subset of the program's variables.

TL;DR: The design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment, are reported on and it is suggested that this technique is a promising technique for assisting developers with program understanding and debugging.

TL;DR: Surprisingly, for detecting unreachable methods, the inexpensive RTA algorithm does almost as well as the seemingly more powerful algorithms, and one of the new algorithms obtains the current best tradeoff between speed and precision.

TL;DR: This work presents a new definition of data races in terms of 11 problematic interleaving scenarios, and proves that it is complete by showing that any execution not exhibiting these scenarios is serializable for a chosen set of locations.