Login / Signup
Static Analysis-Based Approaches for Secure Software Development.
Miltiadis G. Siavvas
Erol Gelenbe
Dionysios D. Kehagias
Dimitrios 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