An Examination of Algebraic Test Generation Methods for Multiple Faults. - Bill D. Carroll; H. G. Shah; D. M. Jones (IEEE Trans. Computers, 1974)