Bounds on pseudoexhaustive test lengths | IEEE Journals & Magazine | IEEE Xplore