Own dissertation(s)
PhD dissertation - Évaluation symbolique à contraintes pour la validation - Application à Java/JML, defended in front of the jury:
- President: Jacques Julliand, Professeur (Univ. Franche-Comté).
- Reviewers: Yves Ledru, Professeur (Univ. Joseph Fourier, Grenoble I), Christine Paulin-Mohring, Professeur (Univ. Paris XI).
- Examiners: Bernard Botella, Ingénieur (THALES Systèmes Aéroportés).
- Supervisors: Bruno Legeard, Professeur (Univ. Franche-Comté), Fabrice Bouquet, Maître de Conférences HDR (Univ. Franche-Comté).
[PDF]
Dissertations from supervised students
This section gathers the dissertations from the students I supervised, PhD students of Master student.
PhD dissertations
- Ivan Enderlin - Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP - defended on 16 july 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 - defended on 28 november 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]
Master student dissertations
- Abdulqawi Saif - Reducing the test generation time of a Model-Based Testing tool (july 2015)
- Alexandre Vernotte - Génération automatique de tests à partir de modèles UML/ALF (sept. 2012) [PDF]
- Ivan Enderlin - Domaines réalistes pour la génération de tests unitaires dirigés par les contrats (aug. 2011) [PDF]
- Rafik Kheddam - Génération de tests de protocoles cryptographiques par mutation de modèles (july 2010) [PDF]
- Sébastien Roy - Conception de stratégies pour tester les propriétés de sûretés (sept. 2008) [PDF]