W. Jean Sherman. Program function test definition using a three-value simulator. In Robert B. Hitchcock Sr., Donald J. Humcke, Stephen A. Szygenda, editors, Proceedings of the 12th Design Automation Conference, DAC '75, Boston, Massachusetts, USA, June 23-25, 1975. pages 189-194, ACM, 1975. [doi]
Abstract is missing.