Login / Signup

On the Verification of Software Vulnerabilities During Static Code Analysis Using Data Mining Techniques - (Short Paper).

Foteini CheirdariGeorge Karabatis
Published in: OTM Conferences (2) (2017)
Keyphrases
  • data analysis
  • source code
  • static analysis
  • data mining
  • dynamic analysis
  • data sets
  • software systems
  • formal analysis
  • analysis tool