Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.

Borzoo Bonakdarpour César Sánchez Gerardo Schneider

Published in: ISoLA (2) (2018)

Keyphrases

static analysis
symbolic execution
java card
test generation
dynamic analysis
source code
monitoring system
malicious code
real time
abstract interpretation
model checking
regular expressions
test suite
data mining
domain knowledge
pattern matching