Test data reduction based on dominance relations of target statements | IEEE Conference Publication | IEEE Xplore