Vado, P. (1999). Validation de circuits numériques utilisant le principe du test par mutation [Master's thesis, École Polytechnique de Montréal]. Available