Mitsuo Teramoto A Method for Reducing the Search Space in Test Pattern Generation. 429-435 1993 conf/itc/1993 ITC db/conf/itc/itc1993.html#Teramoto93 http://dx.doi.org/10.1109/TEST.1993.470669