Automatic fault location for data structures
Pruning dynamic slices with confidence