Effective Fault Localization Using Dynamic Slicing and an SMT Solver | IEEE Conference Publication | IEEE Xplore