A Diagnosis Pattern Generation Procedure to Distinguish Between Stuck-at and Bridging Faults in Digital Circuits | IEEE Conference Publication | IEEE Xplore