Mes mémoires
Mémoire de thèse - Évaluation symbolique à contraintes pour la validation - Application à Java/JML, soutenu devant le jury :
- Président : Jacques Julliand, Professeur (Univ. Franche-Comté).
- Rapporteurs : Yves Ledru, Professeur (Univ. Joseph Fourier, Grenoble I), Christine Paulin-Mohring, Professeur (Univ. Paris XI).
- Examinateurs : Bernard Botella, Ingénieur (THALES Systèmes Aéroportés).
- Directeurs de thèse : Bruno Legeard, Professeur (Univ. Franche-Comté), Fabrice Bouquet, Maître de Conférences HDR (Univ. Franche-Comté).
[PDF]
Mémoires d'étudiants que j'ai supervisé
Cette catégorie regroupe les mémoires de thèse ou de master recherche que j'ai (co-)encadrés.
Mémoires de thèse
- Ivan Enderlin - Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP - soutenance le 16 juillet 2014
Jury : Arnaud Gotlieb (INRIA Rennes - rapporteur), Lydie du Bousquet (LIG - rapporteur), Michel Rueher (I3S - examinateur), Fabrice Bouquet (FEMTO-ST - directeur de thèse), Alain Giorgetti (FEMTO-ST - co-directeur de thèse), Frédéric Dadeau (FEMTO-ST - co-directeur de thèse)
[PDF] - Kalou Cabrera Castillos - Génération automatique de scénarios de test à partir de propriétés temporelles et de modèles comportementaux - soutenance le 28 novembre 2013
Jury : Marie-Laure Potet (VERIMAG - rapporteur), Stephane Maag (Telecom SudParis - rapporteur), Safouan Taha (Supélec - examinateur), Fabrice Bouquet (FEMTO-ST - examinateur), Jacques Julliand (FEMTO-ST - directeur de thèse), Frédéric Dadeau (FEMTO-ST - co-directeur de thèse)
[PDF]
Mémoire de Master Recherche
- Alexandre Vernotte - Génération automatique de tests à partir de modèles UML/ALF (Master 2 Recherche, sept. 2012) [PDF]
- Ivan Enderlin - Domaines réalistes pour la génération de tests unitaires dirigés par les contrats (Master 2 Recherche, août 2011) [PDF]
- Rafik Kheddam - Génération de tests de protocoles cryptographiques par mutation de modèles (Master 2 Recherche, juillet 2010) [PDF]
- Sébastien Roy - Conception de stratégies pour tester les propriétés de sûretés (Master 2 Recherche, sept. 2008) [PDF]