Sign in
Techniques for Evolution-Aware Runtime Verification.
Owolabi Legunsen
Yi Zhang
Milica Hadzi-Tanovic
Grigore Rosu
Darko 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