Login / Signup

Static Analysis-Based Approaches for Secure Software Development.

Miltiadis G. SiavvasErol GelenbeDionysios D. KehagiasDimitrios Tzovaras
Published in: Euro-CYBERSEC (2018)
Keyphrases
  • static analysis
  • software development
  • dynamic analysis
  • abstract interpretation
  • data sets
  • software engineering
  • pattern matching
  • source code
  • symbolic execution