Ouabdesselam, Farid, 1950-...., auteur(e) en informatique
Ouabdesselam, Farid
Farid Ouabdesselam universitaire français enseignant-chercheur en informatique
VIAF ID: 200937552 (Personal)
Permalink: http://viaf.org/viaf/200937552
Preferred Forms
Works
Title | Sources |
---|---|
Automatic generation of stubs for structural testing based on control flow analysis. | |
Automatic testing of Lustre/SCADE programs. | |
Automatically test case generation against software safety properties. | |
Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE : le système LESAR | |
Design and implementation of a formal verification tool for lustre programs : the system Lesar | |
Génération automatique de cas de test guidée par les propriétés de sûreté | |
Méthodes déductives pour la preuve de programmes LUSTRE | |
Software restability metrics validation for object oriented programs | |
Structural coverage criteria for Lustre programs | |
Système de déduction automatique : application à la construction de programmes | |
Test fonctionnel statistique de logiciels spécifiés en Lustre : application à la validation de services téléphoniques | |
Testing synchronous software specified in Lustre. | |
Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs | |
Validation de métriques de testabilité logicielle pour les programmes objets | |
Vérification de propriétés de programmes flots de données synchrones |