Miron Abramovici. A maximal resolution guided-probe testing algorithm. In Robert J. Smith II, editor, Proceedings of the 18th Design Automation Conference, DAC '81, Nashville, Tennessee, USA, June 29 - July 1, 1981. pages 189-195, ACM/IEEE, 1981. [doi]
Abstract is missing.