Building executable union slices using conditioned slicing | IEEE Conference Publication | IEEE Xplore