Ben Huey. Guiding sensitization searches using problem reduction graphs. In Stephen A. Szygenda, editor, Proceedings of the 15th Design Automation Conference, DAC '78, Las Vegas, Nevada, USA, June 19-21, 1978. pages 312-320, ACM, 1978. [doi]
Abstract is missing.