Locating faults through automated predicate switching
Tracking down software bugs using automatic anomaly detection