HDD: hierarchical delta debugging
Scalable statistical bug isolation