Sign in

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