Locating faults through automated predicate switching
Pruning dynamic slices with confidence