On comparisons of random, partition, and proportional partition testing | IEEE Journals & Magazine | IEEE Xplore