Knowledge-Base Semantic Gap Analysis for the Vulnerability Detection. - Raymond Wu; Keisuke Seki; Ryusuke Sakamoto; Masayuki Hisada (ISA, 2010)