- Advisor / Co-advisors:
- Célia Martinie
- David Navarre
- Philippe Palanque
Approche systématique pour la validation de systèmes interactifs par la génération de tests à partir de spécification formelle des tâches utilisateurs, de l'interaction, et du système interactif
Alexandre Canny
Defense: 2020-09-01
On-going thesis
Application domains: Avionics
Scientific areas: HCI, Software engineering
Tools: HAMSTERS, PetShop