Sign in

Optimizing Monitor Code Based on Patterns in Runtime Verification.

Ge ZhouWei DongWanwei LiuHao ShiChi HuLiangze 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