Pseudo-exhaustive test and segmentation: formal definitions and extended fault coverage results | IEEE Conference Publication | IEEE Xplore