Optimizing Monitor Code Based on Patterns in Runtime Verification.

Ge Zhou Wei Dong Wanwei Liu Hao Shi Chi Hu Liangze Yin

Published in: QRS Companion (2017)

Keyphrases

model checking
source code
monitoring system
pattern mining
real time
genetic algorithm
decision trees
similar patterns
query processing
pattern analysis
previously unknown
formal verification
symbolic execution