Title: Génération des tests de détection pour les systèmes logiques