Automatic fault location for data structures
Scalable statistical bug isolation