Generating runtime verification specifications based on static code analysis alerts.

Yunus Kiliç Hasan Sözer

Published in: SAC (2017)

Keyphrases

formal analysis
case study
intrusion detection system
database
machine learning
information systems
software engineering
static analysis