Up a level |
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. External link
Naert, P. (2020). Vérification dynamique ciblée et interactive de programmes grâce à une architecture modulaire [Master's thesis, Polytechnique Montréal]. Available