Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/wcre/GeWZZZL22
AU - Ge, Ning
AU - Wang, Ze
AU - Zhang, Li
AU - Zhao, Jiuang
AU - Zhou, Yufei
AU - Liu, Zewei
TI - ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code.
BT - IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022
SP - 566
EP - 576
PY - 2022//
DO - 10.1109/SANER53432.2022.00074
UR - https://doi.org/10.1109/SANER53432.2022.00074
ER -
