Functional Constraints in the Selection of Two-Cycle Gate-Exhaustive Faults for Test Generation | IEEE Journals & Magazine | IEEE Xplore