Research Area
I'm full professeur in computer sciences at University of Marie et Louis Pasteur at FEMTO-ST Institue. Since 1999 with my PhD defense, my research area is around model-based testing. I'm writing a book about the challenges of test industrialization with Bruno Legeard and Natacha Pickaert in Dunod Edition and more than 100 scientific articles. I'm interested in 5 main topics :
- to study and to define semantic modeling languages.
- to model for test purposes by adaptation and interpretation of modeling languages in the context of Model-Based Testing.
- to develop interpretation algorithms using constraint logic programming and SMT proof technology.
- to define test selection criteria for Model-Based Testing with model structural coverage criteria or (security) properties / scenarios and automation
- to explore Artificial Intelligence in the test domain to extend the testing approach and to validate IA components.
I'm also exploring the Multi-Agent System to model complex systems and for test purposes.
Books (in french) :
| "Industrialiser le test fonctionnel" première édition "Des exigences métier au référentiel de tests automatisés" | "Industrialiser le test fonctionnel" deuxième édition "Pour maitriser les risques métier et accroître l'efficacité du test" |
 |  |