Kusumoto Laboratory
List of works
学位論文
[1] 宮本敬三, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 修士学位論文, 大阪大学, 2010年.
[2] 小林和貴, "ESC/Java2の反例出力を利用したJavaメソッド実行パス取得ツールの試作および評価," , 2010年2月.

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.09643 seconds.