Monter d'un niveau |
Naert, P., Azhari, S. V., & Dagenais, M. (2021). Interactive and targeted runtime verification using a debugger-based architecture. Journal of Systems Architecture, 115, 10 pages. Lien externe
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