論文誌
[1] Yoshiki Higo, Shinji Kusumoto, and Katsuro Inoue, "A Metric-Based Approach to Identifying Refactoring Opportunities for Merging Code Clones in a Java Software System," Journal of Software Maintenance and Evolution: Research and Practice, volume 20, number 6, pages 435-461 November 2008.
[2] 宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, volume J91-D, number 11, pages 2721-2723 2008年11月.
著書
[1] Yoshiki Higo, Shinji Kusumoto, and Katsuro Inoue, Java in Academia and Research, iConcept Press Ltd., 2011.
国際会議
[1] Naoto Ogura, Jiachen Yang, Keisuke Hotta, Yoshiki Higo, and Shinji Kusumoto, "Hey! Are You Injecting Side Effect?: a Tool for Detecting Purity Changes in Java Methods," In Proc. of 24th IEEE International Conference on Program Comprehension (ICPC2016), May 2016.
[2] Yoshiki Higo and Shinji Kusumoto, "How Should We Measure Functional Sameness from Program Source Code? an Exploratory Study on Java Methods," In In Proc. of the 22nd International Symposium on the Foundations of Software Engineering (FSE2014), pages 294-305 November 2014.
[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.
[4] Kentaro Hanada, Kozo Okano, Shinji Kusumoto, and Kiyoyuki Miyazawa, "Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation," In 14th International Conference on Enterprise Information Systems, pages 389-394 June 2012.
国内会議(査読付き)
[1] 佐々木 幸広, 岡野 浩三, 楠本 真二, "SMTソルバと統計解析を用いたJavaプログラム解析器の提案," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月.
[2] 小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾, 福田 浩章(編), ソフトウェア工学の基礎XVII, number 36, pages 35-44 2010年11月.
研究会・全国大会等
[1] 佐々木 幸広, 岡野 浩三, 楠本 真二, PDGとSMTソルバを用いたJavaプログラム解析器の提案, SESワークショップ2013, 2013年.
[2] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール," 第7回情報科学技術フォーラム講演論文集, 2008年8月.
学位論文
[1] 藤田悠矢, "JavaにおけるhashCodeメソッドの整合性検査手法の精度に関する調査および改善案の提案," 修士学位論文, 大阪大学, 2015年.
[2] 榛葉 浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年.
[3] 花田 健太郎, "OCLからJMLへの変換ツールの Eclipse プラグイン化と教務システムを対象とする適用実験," , 2011年2月.
[4] 宮澤清介, "OCLからJMLへの変換ツールの 対応クラスの拡張と実プロジェクトに対する適用," , 2011年2月.
[5] 武藤 祐子, "クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価," , 2010年2月.