Laung-Terng Wang Edward J. McCluskey Circuits for Pseudo-Exhaustive Test Pattern Generation. 25-37 1986 conf/itc/1986 ITC db/conf/itc/itc1986.html#WangM86