"森川知哉,荒堀喜貴,権藤克彦","整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価",,"コンピュータソフトウェア（レター論文）",,"Vol. 31","No. 1",,2014,Jan.