<  Back to the Polytechnique Montréal portal

Interactive and targeted runtime verification using a debugger-based architecture

Paul Naert, Seyed Vahid Azhari and Michel Dagenais

Article (2021)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/46985/
Journal Title: Journal of Systems Architecture (vol. 115)
Publisher: Elsevier
DOI: 10.1016/j.sysarc.2021.102001
Official URL: https://doi.org/10.1016/j.sysarc.2021.102001
Date Deposited: 18 Apr 2023 15:00
Last Modified: 08 Apr 2025 07:13
Cite in APA 7: 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. https://doi.org/10.1016/j.sysarc.2021.102001

Statistics

Dimensions

Repository Staff Only

View Item View Item