Doctorat
Equipe : Test Formel et Exploration de Systèmes
La generation de tests pour des spécifications de logiciels écrites sous circus
Début le 01/10/2009
Direction : GAUDEL, Marie-Claude
Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement : LRI Fortesse
Soutenue le 12/12/2012 devant le jury composé de :
Rapporteurs:
- Rob Hierons, Professor of Computing, Brunel University, UK
- Stephan Merz, directeur de recherche INRIA Nancy, LORIA
Examinateurs:
- Pascale Le Gall, Professeur Université d'Evry-Val d'Essonne, LMAS
- Claude Marché, directeur de recherche INRIA saclay
Directeurs de thèse:
- Marie-Claude Gaudel, professeur émérite Paris Sud, LRI
- Burkhart Wolff, professeur Paris Sud, LRI
Invités:
- Ana Cavalcanti, Reader, University of York, UK
=
Activités de recherche :
Résumé :
