HOLMES: Effective statistical debugging via efficient path profiling
Scalable statistical bug isolation