Naert, P. (2020). Vérification dynamique ciblée et interactive de programmes grâce à une architecture modulaire [Master's thesis, Polytechnique Montréal]. Available