Diversity maximization speedup for fault localization | IEEE Conference Publication | IEEE Xplore