Optimizing Monitor Code Based on Patterns in Runtime Verification

Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin. Optimizing Monitor Code Based on Patterns in Runtime Verification. In 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017. pages 348-354, IEEE, 2017. [doi]

Abstract

Abstract is missing.