Contribution à l'élaboration de THESEE, un système expert d'aide à la génération de séquences de test de systèmes digitaux — Rédouane M. Lbath