Title: Programme de simulation et génération de tests pour la détection des pannes dans les circuits logiques