Diagnosis of bridging faults in sequential circuits using adaptive simulation, state storage, and path-tracing | IEEE Conference Publication | IEEE Xplore