Pseudo-exhaustive test and segmentation: formal definitions and extended fault coverage results. - Jon G. Jr. Udell; Edward J. McCluskey (FTCS, 1989)