Locating causes of program failures
The use of program dependence graphs in software engineering