Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults | IEEE Conference Publication | IEEE Xplore