P. Verma, D. M. Selove, J. N. Tessier. Automatic test-generation and test-verification of digital systems. In Herbert M. Wall, Robert B. Hitchcock Sr., Stephen P. Krosner, J. Michael Galey, Nitta P. Dooner, Donald J. Humcke, Pat O. Pistilli, editors, Proceedings of the 11th Design Automation Workshop, DAC '74, Denver, Colorado, USA, June 11-19, 1974. pages 149-158, ACM, 1974. [doi]
Abstract is missing.