Recherche

Thématiques

Ma thématique principale de recherche est le test de logiciels, et plus particulièrement les aspects :

  • tests en boite noire à partir de modèles
  • tests en boite blanche/grise à partir de code/annotations
  • génération de tests à partir de différentes techniques/techologies : scénarios, mutations, résolution de contraintes

Encadrement de thèses

  • Kalou Cabrera Castillos - Génération automatique de scénarios de test à partir de propriétés temporelles et de modèles comportementaux. Co-encadrement avec Jacques Julliand. Soutenue le 28 novembre 2013.
  • Ivan Enderlin - Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP. Co-encadrement avec Fabrice Bouquet et Alain Giorgetti. Soutenue le 16 juillet 2014.

Responsabilités scientifiques/organisation

Organisateur en juin 2016 à Besançon des Journées Nationales du GDR GPL ainsi que des 3 conférences co-localisées (AFADL, CAL et CIEL)

Co-organisateur de l'atelier Approches Formelles dans l'Aide au Développement Logiciel (AFADL'2015), co-localisé avec les journées du GDR GPL 2015 à l'ENSERB (Bordeaux).

Co-responsable du groupe de travail Méthodes de Test pour la Vérification et la Validation (MTV2) du GDR Génie de la Programmation et du Logiciel, avec Lydie du Bousquet (Jan 2012 - Déc 2015).

Organisation de l'école d'été Training And Research On Testing (TAROT'2012) du 2 au 6 juillet 2012

Co-organisateur des éditions 2012 (à Montréal) et 2013 (au Luxembourg) du workshop Constraints in Software Testing Verification and Analysis, avec Cristian Cadar.

Projets financés

J'ai participé à différents projets de recherche financés :

  • ANR ASTRID Maturation MBT_Sec (jan. 2013 - déc. 2015)
  • ANR ASTRID OSeP (Oct. 2011 - Oct. 2013)
  • ANR ARPEGE TASCCC --Test Automatique à partir de SCénarios et évaluations Critères Communs-- (2009-2012) pour lequel j'assurais le rôle de responsable scientifique.
  • FP7 SecureChange (Fev. 2009 - Fev. 2012)
  • RNTL POSE --Validation de POlitiques de SEcurité-- (2005-2007)
  • RNTL DANOCOPS --Détection Automatique de NOn-COnformité entre une Programme et sa Spécification-- (2004-2006)
  • INTERREG Test-UML (2002-2004)
  • ACI GECCOO --GEnération de Code Certifié pour les applications Orientées Objet-- (2003-2006) qui a financé mes travaux de thèse, autour du langage d'annotations Java Modelling Language

Par le passé

Ma thèse s'est déroulée au Laboratoire d'Informatique de l'Université de Franche-Comté (LIFC - ancien nom du département DISC de FEMTO-ST), et a été soutenue le 19 juillet 2006. J'ai ensuite effectué un post-doc d'un an au Laboratoire d'Informatique de Grenoble (LIG) avant d'être recruté en septembre 2007 à l'UFR ST de l'Université de Franche-Comté.