Diversity maximization speedup for localizing faults in single-fault and multi-fault programs