• Advisor / Co-advisors:
    1. Célia Martinie
    2. David Navarre
    3. 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