Static Code Analysis for Software Security Verification: Problems and Approaches.

Zeineb Zhioua Stuart Short Yves Roudier

Published in: COMPSAC Workshops (2014)

Keyphrases

statistical analysis
solving problems
data mining
data analysis
image analysis
np complete
multi agent
optimization problems
model checking
formal analysis