- 論文誌
- [1] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Daikon 生成表明改善のためのテストケース自動生成手法とその評価実験," 日本ソフトウェア科学会誌コンピュータソフトウェア, volume Vo.28, number No.4, pp.4-306-4-317, 2011年.
- [2] 宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, volume J91-D, number 11, pages 2721-2723, 2008年11月.
- 国内会議(査読付き)
- [1] 小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾, 福田 浩章(編), ソフトウェア工学の基礎XVII, number 36, pages 35-44, 2010年11月.
- [2] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲, "アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価," ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009, pages 183-190, 2009年11月.
- 研究会・全国大会等
- [1] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール," 第7回情報科学技術フォーラム講演論文集, 2008年8月.
- 学位論文
- [1] 宮本敬三, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 修士学位論文, 大阪大学, 2010年.