Dynamic diagnosis of sequential circuits based on stuck-at faults | IEEE Conference Publication | IEEE Xplore