%0 Journal Article %B Software: Practice and Experience %D 2013 %I John Wiley \& Sons, Ltd Chichester, UK %P 259-279 %T Improving software security with static automated code analysis in an industry setting %V 43