Probability models for pseudorandom test sequences | IEEE Journals & Magazine | IEEE Xplore