Efficient fault collapsing via generalized dominance relations | IEEE Conference Publication | IEEE Xplore