 |
 |
Maître de Conférences
Université Paris-Saclay
Test Formel et Exploration de Systèmes
Tel : +33 (0) 1.72.92.59.57
Fax :
Bureau :
Page personnelle : http://www.lri.fr/~gouraud/
Courrier électronique : gouraud@lri.fr |
Activités de recherche
- Vérification
- Test de Logiciels
- Méthodes Formelles de Génie Logiciel
Publications
Logiciels et brevets
- AuGuSTe : Test statistique de programmes C
- sALLUSTe : Test Statistique de programmes Lustre
Thèses et habilitations
Doctorat - Utilisation des Structures Combinatoires pour le Test Statistique
Participations à des contrats
- WebMov
- Usine Logicielle
|
