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-Saclay
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é :
