ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code

Ning Ge, Ze Wang, Li Zhang, Jiuang Zhao, Yufei Zhou, Zewei Liu. ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022. pages 566-576, IEEE, 2022. [doi]

Abstract

Abstract is missing.