Boubezari, S. (1998). Analyse de testabilité au niveau transfert de registres. (PhD thesis, École Polytechnique de Montréal).