A limited exponential complexity algorithm for increasing the testability of digital circuits by testing-module insertion | IEEE Journals & Magazine | IEEE Xplore