Mohamed Amine Haddaji Supervisor : Hafedh Mili haddaji.mohamed_amine@courrier.uqam.ca UQAM Thesis subject / Master thesis Validation de dépendances cachées par les traces d’exécution