論文誌

[1] 前島 葵, 肥後 芳樹, 松本 淳之介, 楠本 真二, "Javaプロジェクトに含まれる振る舞いを変えない変更の検出," 電子情報通信学会論文誌 D, volume J104-D, number 4, pages 266-274, 2021年4月. [a-maejim_202005_ieice.pdf]

[2] Yoshiki Higo, Shinpei Hayashi, and Shinji Kusumoto, "On Tracking Java Methods with Git Mechanisms," Journal of Systems and Software, volume 165, July 2020. [110571.pdf]

[3] 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. [0]

[4] 宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, volume J91-D, number 11, pages 2721-2723, 2008年11月. [0]

著書

[1] Yoshiki Higo, Shinji Kusumoto, and Katsuro Inoue, Java in Academia and Research, iConcept Press Ltd.,, 2011. [101027012927.pdf]

国際会議

[1] Yoshiki Higo, Shinsuke Matsumoto, Shinji Kusumoto, and Kazuya Yasuda, "Constructing Dataset of Functionally Equivalent Java Methods," In the 19th International Conference on Mining Software Repositories, 2022. [cameraready_20220413.pdf]

[2] Yoshiki Higo, Shinsuke Matsumoto, Taeyoung Kim, and Shinji Kusumoto, "How Weak Reference Is Used in Java Projects?," In the 27th Asia-Pacific Software Engineering Conference, pages 445-449, December 2020. [APSEC2020_published.pdf]

[3] Ryo Arima, Yoshiki Higo, and Shinji Kusumoto, "A Study on Inappropriately Partitioned Commits --- How Much and What Kinds of Ip Commits in Java Projects? ---," In 15th International Conference on Mining Software Repositories, pages 336-340, May 2018. [cameraready]

[4] Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, and Shinji Kusumoto, "Towards Automated Generation of Java Methods: a Way of Automated Reuse-Based Programming," In Proc. of the 12th IEEE International Workshop on Software Clones, pages 30-36, March 2018. [sanerws18iwscmain-id4-p.pdf]

[5] 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. [n-ogura_icpc2016.pdf]

[6] 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. [fse14main-mainid118-p.pdf]

[7] 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]

[8] 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. [document.pdf]

国内会議(査読付き)

[1] 佐々木 幸広, 岡野 浩三, 楠本 真二, "SMTソルバと統計解析を用いたJavaプログラム解析器の提案," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月.

[2] 小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾,　福田 浩章(編), ソフトウェア工学の基礎XVII, number 36, pages 35-44, 2010年11月. [投稿PDF]

研究会・全国大会等

[1] 佐々木 幸広, 岡野 浩三, 楠本 真二, PDGとSMTソルバを用いたJavaプログラム解析器の提案, SESワークショップ2013, 2013年.

[2] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール," 第7回情報科学技術フォーラム講演論文集, 2008年8月. [0]

学位論文

[1] 藤田悠矢, "JavaにおけるhashCodeメソッドの整合性検査手法の精度に関する調査および改善案の提案," 修士学位論文, 大阪大学, 2015年. [main.pdf]

[2] 榛葉　浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年. [main.pdf]

[3] 花田 健太郎, "OCLからJMLへの変換ツールの Eclipse プラグイン化と教務システムを対象とする適用実験," , 2011年2月. [desc]

[4] 宮澤清介, "OCLからJMLへの変換ツールの 対応クラスの拡張と実プロジェクトに対する適用," , 2011年2月. [desc]

[5] 武藤 祐子, "クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価," , 2010年2月. [GraduationThesis.pdf]