Knowledge Tree

researcher / Farid Ouabdesselam

Farid Ouabdesselam

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Test automatique de programmes Lustre / SCADE

Validation de métriques de testabilité logicielle pour les programmes objets

Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs

Critères de couverture structurelle pour les programmes Lustre

Génération automatique de bouchons pour le test structurel basée sur l'analyse du flot de contrôle

Génération automatique de cas de test guidée par les propriétés de sûreté

Test de spécifications de services de télécommunication

Test fonctionnel statistique de logiciels spécifiés en Lustre : application à la validation de services téléphoniques

Test de logiciels synchrones spécifiés en Lustre

Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE : le système LESAR

Vérification de propriétés de programmes flots de données synchrones