Naert, P. (2020). Vérification dynamique ciblée et interactive de programmes grâce à une architecture modulaire [Mémoire de maîtrise, Polytechnique Montréal]. Disponible