Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de

Doctorat
Equipe : Vérification d'Algorithmes, Langages et Systèmes

Random based testing of C program

Début le 01/10/2012
Direction : WOLFF, Burkhart

Ecole doctorale :
Etablissement d'inscription : Université Paris-Sud

Lieu de déroulement : LRI Fortesse

Soutenue le 30/01/2017 devant le jury composé de :
Directeur de thèse :
- M. Burkhart Wolff, Professeur, Université Paris-Sud, LRI

Co-encadrants :
- M. Frédéric Voisin, Maître de conférence, Université Paris-Sud
- Mme Marie-Claude Gaudel, Professeur émérite, Université Paris-Sud


- Mme Sandrine Blazy, Professeur, Université Rennes 1,
- Mme Lydie du Bousquet, Professeur, Université Joseph Fournier, Grenoble,
- M. Alain Denise, Professeur, Université Paris-Sud,
- M. François Laroussinie, Professeur, Université Paris-Diderot,
- M. Jean-Yves Pierron, Ingénieur-chercheur, CEA-LIST

Activités de recherche :
   - Test formel basé sur les modèles

Résumé :