An Efficient Procedure to Generate Highly Compact Diagnosis Patterns for Transition Faults | IEEE Journals & Magazine | IEEE Xplore