Edward J. McCluskey Built-In Verification Test. 183-190 1982 conf/itc/1982 ITC db/conf/itc/itc1982.html#McCluskey82