国際会議

[1] Haruki Yokoyama, Yoshiki Higo, Keisuke Hotta, Takafumi Ohta, Kozo Okano, , and Shinji Kusumoto, "Toward Improving Ability to Repair Bugs Automatically –A Patch Candidate Location Mechanism Using Code Similarity–," In 31st ACM Symposium on Applied Computing, pages 1364-1370, April 2016. [y-haruki_SAC2016.pdf]

[2] Takafumi Ohta, Hiroaki Murakami, Hiroshi Igaki, Yoshiki Higo, and Shinji Kusumoto, "Source Code Reuse Evaluation by Using Real/Potential Copy and Paste," In Proc. of the 9th International Workshop on Software Clones (IWSC 2015), pages 33-39, March 2015. [ohta_IWSC2015.pdf]

[3] Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto, "Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java," In IWIN2014, September 2014. [desc]

[4] Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, , and Kazuki Yoshioka, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," International Workshop on Informatics 2013, pages 123-132, 2013. [main.pdf]

研究会・全国大会等

[1] 横山 晴樹, 大田 崇史, 堀田 圭佑, 肥後 芳樹, 岡野 浩三, 楠本 真二, "再利用に基づく自動バグ修正における再利用候補の絞込に向けた調査," 電子情報通信学会技術研究報告, volume 115, number 20, pages 047-052, 2015年5月. [y-haruki_sigss2015_submit.pdf]

[2] 大田崇史, 井垣宏, 堀田圭佑, 肥後芳樹, 楠本真二, "ソフトウェア開発におけるコピーアンドペーストで生じたコード片に対する調査," 電子情報学会技術研究報告, volume 114, number 127, 2014年7月. [desc]

学位論文

[1] 大田 崇史, "指向性ランダム探索によるプログラム自動修正," 修士学位論文, 2015年2月. [main.pdf]