学位論文

[1] 宮本敬三, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 修士学位論文, 大阪大学, 2010年.

[2] 小林和貴, "ESC/Java2の反例出力を利用したJavaメソッド実行パス取得ツールの試作および評価," , 2010年2月.