| 大会名称 |
|---|
| 2008年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2008 |
| 発行日 |
| 2008/8/20 |
| セッション番号 |
| 2F |
| セッション名 |
| 実装支援 |
| 講演日 |
| 2008/09/02 |
| 講演場所(会議室等) |
| F会場（κ棟2階 κ21教室） |
| 講演番号 |
| B-001 |
| タイトル |
| Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール |
| 著者名 |
| 宮本 敬三, 堀 直哉, 岡野 浩三, 楠本 真二, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (48.7KB) |
| 大会名称 |
|---|
| 2008年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2008 |
| 発行日 |
| 2008/8/20 |
| セッション番号 |
| 2F |
| セッション名 |
| 実装支援 |
| 講演日 |
| 2008/09/02 |
| 講演場所(会議室等) |
| F会場（κ棟2階 κ21教室） |
| 講演番号 |
| B-001 |
| タイトル |
| Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール |
| 著者名 |
| 宮本 敬三, 堀 直哉, 岡野 浩三, 楠本 真二, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (48.7KB) |