Ayari, B. (1996). Génération de vecteurs de test pour les circuits combinatoires, séquentiels et mixtes basée sur le OBDD. (PhD thesis, École Polytechnique de Montréal).