論文誌

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

研究会・全国大会等

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