George W. Smith. Fault detection test derivation using Boolean difference techniques. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1. pages 369-378, ACM, 1972. [doi]
Abstract is missing.