Sign in

Techniques for Evolution-Aware Runtime Verification.

Owolabi LegunsenYi ZhangMilica Hadzi-TanovicGrigore RosuDarko Marinov
Published in: ICST (2019)
Keyphrases
  • model checking
  • feature extraction
  • software evolution
  • formal verification
  • verification method
  • decision trees
  • video sequences
  • face verification
  • signature verification
  • evolution process
  • asynchronous circuits