COMPACTEST: a method to generate compact test sets for combinational circuits | IEEE Journals & Magazine | IEEE Xplore