COMPACTEST-II: a method to generate compact two-pattern test sets for combinational logic circuits | IEEE Conference Publication | IEEE Xplore