Multiple stuck-at-fault detection theorem | IEEE Conference Publication | IEEE Xplore