Localizing Program Errors via Slicing and Reasoning | IEEE Conference Publication | IEEE Xplore