Comments on "Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean Differences"

  • Authors:

  • G. Metze;D. R. Schertz; Kilin To;G. Whitney;C. R. Kime;J. D. Russell

  • Affiliations:

  • Coordinated Science Laboratory, University of Illinois;-;-;-;-;-

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1975

Quantified Score

Hi-index 14.98

Visualization

Abstract

In the above paper1, the partial Boolean difference is defined and an algorithm for deriving complete minimal test input sequences for single-fault detection is given. In this correspondence, it is shown that the presentation of the algorithm is inadequate with respect to the need for multiple path sensitization. It is further shown that the computational procedure used in footnote 1 do