論文誌

[1] 小林和貴, 佐々木幸広, 岡野浩三, 楠本真二, "PDGとSMTソルバを利用した表明自動導出手法の提案と評価," 電子情報通信学会論文誌D, volume J96-D, number 11, pages 2657-2668, 2013年11月.

[2] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Daikon 生成表明改善のためのテストケース自動生成手法とその評価実験," 日本ソフトウェア科学会誌コンピュータソフトウェア, volume Vo.28, number No.4, pp.4-306-4-317, 2011年.

国際会議

[1] Ryoko Izuta, Shinsuke Matsumoto, Hiroshi Igaki, Sachio Saiki, Naoki Fukuyasu, and Shinji Kusumoto, "Detecting Functional Differences Using Automatic Test Generation for Automated Assessment in Programming Education," In Proceedings of the 28th Asia-Pacific Software Engineering Conference, pages 520-524, December 2021. [camera-ready.pdf]

[2] Hiroto Watanabe, Shinsuke Matsumoto, Yoshiki Higo, Shinji Kusumoto, Toshiyuki Kurabayashi, Kirinuki Hiroyuki, and Haruto Tanno, "Applying Multi-Objective Genetic Algorithm for Efficient Selection on Program Generation," In Proceedings of the 28th Asia-Pacific Software Engineering Conference, pages 559-563, December 2021. [APSEC_2021_paper_286.pdf]

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

国内会議(査読付き)

[1] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲, "アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価," ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009, pages 183-190, 2009年11月. [fose2009.pdf]

[2] 堀直哉, 岡野浩三, 楠本真二, "モデル検査技術を用いたインバリアント被覆テスト ケースの自動生成によるDaikon出力の改善," 松下 誠, 川口 真司(編), ソフトウェア工学の基礎XV 日本ソフトウェア科学会FOSE2008, pages 41-50, 2008年11月. [0]

研究会・全国大会等

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

学位論文

[1] 小林和貴, "SMTソルバとPDGを利用したJava テストケース自動導出手法," 修士学位論文, 2012年2月.