Improving spectrum-based fault localization using proximity-based weighting of test cases | IEEE Conference Publication | IEEE Xplore