A method for pseudo-exhaustive test pattern generation | IEEE Journals & Magazine | IEEE Xplore