論文誌

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

国内会議(査読付き)

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