BELKADI, Mustapha Modeling and test generation for passing gates stuck-open faults - Canada Queen's university 1990 - 77 p. IIl en noir et blanc, fig., 30 cm.