Boubezari, S. (1998). Analyse de testabilité au niveau transfert de registres [Ph.D. thesis, École Polytechnique de Montréal]. Available