"Total stuct-at-fault testing by circuit transformation."

Andrea S. LaPaugh, Richard J. Lipton (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics