Proximity based weighting of test cases to improve spectrum based fault localization | IEEE Conference Publication | IEEE Xplore