Pascale Thévenod-Fosse
IdRefMots clés
FR
Codes correcteurs d'erreurs (théorie de l'information)
Logiciels orientés-objet
Sciences appliquees
Electronique
Test
Génération probabiliste
Analyse de mutation
UML (informatique)
Java (langage de programmation)
Critères de test
Model̀es fonctionnels
Avionique
Génération des entrées de test
Systèmes de contrôle-commande
Propriété critique de haut niveau
Logiciels -- Vérification
Optimisation combinatoire
Analyse structurelle
Critères de couverture
B (méthode formelle)