1st and 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1960-1961) (1961)
Oct. 17, 1961 to Oct. 20, 1961
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.1961.33
In 2.12 minutes an IBM 7090 program found four input tests (for an 8-input parity check circuit) whose outcome determines whether any one of 102 possible failures occurred. For any single-output combinational circuit, with no more than 35 input variables, the program computes the set of all inputs detecting a given failure - the essential novelty of the method. These sets, one for each failure, are then Processed to find a (small) subset of tests which detect any failure. The underlying method extends to the diagnosis of circuits with feedback.
J. P. Roth, J. M. Galey and R. E. Norby, "Techniques for the diagnosis of switching circuit failures," 1st and 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1960-1961)(FOCS), Detroit, MI, 1961, pp. 152-160.