Mémoires et rapports

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]