Interactive fault localization leveraging simple user feedback | IEEE Conference Publication | IEEE Xplore