論文誌

[1] Bushra Aloraini, Meiyappan Nagappan, Daniel M. German, Shinpei Hayashi, and Yoshiki Higo, "An Empirical Study of Security Warnings from Static Application Security Testing Tools," Journal of Systems and Software, volume 158, December 2019. [1-s2.0-S0164121219302018-main.pdf]

研究会・全国大会等

[1] 澤健一, 肥後芳樹, 楠本真二, "コードクローン検出ツールを用いた不具合検出手法の提案と評価," 電子情報通信学会技術研究報告, volume 108, number 173, pages 67-72, 2008年7月. [0]

[2] 澤健一, 肥後芳樹, 楠本真二, "複数のコードクローン検出ツールによって検出されるコードクローンの差異を用いた不具合検出手法," 情報処理学会第70回全国大会講演論文集, 2008年3月. [0]

学位論文

[1] 横山 晴樹, "バグの特徴を用いた自動プログラム修正ツールの比較," 修士学位論文, 大阪大学, 2017年. [y-haruki_MasterThesis.pdf]

[2] , 仕様記述言語JMLとAlloy を用いた在庫管理プログラムの設計に対するモデル検査ツールによる検証事例, 2007. [0]