Terminator: An Efficient and Light-weight Fault Localization Framework | IEEE Conference Publication | IEEE Xplore