Spectral Debugging with Weights and Incremental Ranking | IEEE Conference Publication | IEEE Xplore