Irith Pomeranz, Zvi Kohavi. A limited exponential complexity algorithm for increasing the testability of digital circuits by testing-module insertion. IEEE Trans. on CAD of Integrated Circuits and Systems, 11(2):247-259, 1992. [doi]
Abstract is missing.