A Methodology to Reduce the Computational Cost of Behavioral Test Pattern Generation. - Jean François Santucci; Gérard Dray; Norbert Giambiasi; Marc Boumédine (DAC, 1992)