論文誌

[1] 高 良多朗, 堀田 圭佑, 肥後 芳樹, 井垣 宏, 楠本 真二, "複数メソッド上に解離したコードクローンの検出手法," 電子情報通信学会論文誌D, volume J99-D, number 6, 2016年6月. [r-kou_IEICE_refine.pdf]

[2] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation," IEICE Transactions on Information and Systems, volume E94-D, number 5, May 2011.

[3] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "A Visualization Technique for Unit Testing and Static Checking with Caller-Callee Relationships," Journal of Convergences, volume 2, number 2, pages 1-8, 2011. [A101.pdf]

[4] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto, "An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," IEICE Transactions on Information and Systems, volume E93-D, number 5, pages 994-1005, May 2010.

[5] リビエリシモネ, 肥後芳樹, 松下誠, 井上克郎, "コードクローン検出技術を用いたLinuxカーネル進化の調査," 電子情報通信学会論文誌D, volume J91-D, number 2, pages 509-511, 2008年2月. [0]

国際会議

[1] Yusuke Yuki, Yoshiki Higo, and Shinji Kusumoto, "A Technique to Detect Multi-Grained Code Clones," In Proc. of the 11th IEEE International Workshop on Software Clones, pages 54-60, February 2017. [y-yusuke_IWSC2016.pdf]

[2] Ryotaro Kou, Yoshiki Higo, and Shinji Kusumoto, "A Capable Crossover Technique on Automatic Program Repair," In Ryotaro Kou, Yoshiki Higo, Shinji Kusumoto, editor, Proc. of 7th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 045-050, March 2016. [原稿ファイル]

[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, Kozo Okano, and Shinji Kusumoto, "A Visualization Technique for the Passage Rate of Unit Testing and Static Checking with Caller-Callee Relationships," In International Conference on Advanced Software Engineering, pages 336-341, May 2011. [ICASE.pdf]

[5] Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto, "Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique," Proceedings of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010), pages 33-38, December 2010. [IWESEP12.pdf]

研究会・全国大会等

[1] 堀田圭佑, 肥後芳樹, 楠本真二, "プログラム依存グラフを用いたTemplate Methodパターン適用によるコードクローン集約支援," 情報処理学会研究報告, volume 171, number 14, 2011年3月. [SE-171-14.pdf]

学位論文

[1] 高 良多朗, "遺伝的プログラミングにおける選択的交叉を用いた自動プログラム修正手法," 修士学位論文, 大阪大学 大学院情報科学研究科, 2016年. [原稿ファイル]

Technical Report

[1] Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto, "An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop," Techinical Report of Software Design Lab in Osaka Univ. SDL-Sep-3-2008, 2008. [0]