Conditional slicing: Reducing dynamic slices | IEEE Conference Publication | IEEE Xplore