Statistical analysis of security violations in computer software. - Shivakant Mishra; Shengxiang Gui (CATA, 2001)