論文誌

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

著書

[1] Harry Foster, Adam Krolnik, and David Lacey, "アサーションベース設計　原書第2 版," 丸善, 2004.

研究会・全国大会等

[1] 小林和貴, 岡野浩三, 楠本真二, "Daikon を利用した表明動的生成改善手法の実プロ ジェクト教材への適用実験とテストデータ生成改善手法の検討," 平成23 年度情報 処理学会関西支部支部大会,, 2011年9月.

学位論文

[1] 切貫弘之, "相関ルールを用いたソースコード修正候補の推薦," 修士学位論文, 大阪大学, 2015年.

[2] 佐々木幸広, "Java の実行パスからパス実行可能性判定式への変換と SMTソルバによる求解," , 2012年2月.