Probabilistic Analysis of Random Test Generation Method for Irredundant Combinational Logic Networks | IEEE Journals & Magazine | IEEE Xplore