A bridging fault model for line coverage in the presence of undetected transition faults | IEEE Conference Publication | IEEE Xplore