Generating pseudo-exhaustive vectors for external testing | IEEE Conference Publication | IEEE Xplore