@article{CTT100665757,
  author = {森川知哉 and 荒堀喜貴 and 権藤克彦},
  title = {整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価},
  journal = {コンピュータソフトウェア（レター論文）},
  year = 2014,
}