| 著者名 (author) | 表題 (title) | 論文誌/会議名 | 巻号 | ページ範囲 (pages) | 出版年月 | JCR/採択率 | File | |
|---|---|---|---|---|---|---|---|---|
| 論文誌 |
小林和貴, 佐々木幸広, 岡野浩三, 楠本真二 |
PDGとSMTソルバを利用した表明自動導出手法の提案と評価 |
電子情報通信学会論文誌D | J96-D(11) |
2657-2668 |
2013年11月 |
||
| 国内会議(査読付き) |
小林和貴, 宮本敬三, 岡野浩三, 楠本真二 |
アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出 |
ソフトウェア工学の基礎XVII | (36) |
35-44 |
2010年11月 |
投稿PDF | |
| 研究会・全国大会等 |
佐々木幸広, 小林和貴, 岡野浩三, 楠本真二 |
SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案 |
電子情報通信学会技術研究報告 | 111 (481) |
55-60 |
2012年2月 |
Sigss2012.pdf | |
| 研究会・全国大会等 |
小林和貴, 岡野浩三, 楠本真二 |
Daikon を利用した表明動的生成改善手法の実プロ ジェクト教材への適用実験とテストデータ生成改善手法の検討 |
平成23 年度情報 処理学会関西支部支部大会, | 2011年9月 |
||||
| 研究会・全国大会等 |
小林和貴, 岡野浩三, 楠本真二 |
モデル検査器とDaikon を用いた表明動的生成改善 手法のシステム開発実プロジェクト教材への適用と評価 |
電子情報通信学会技術報告 | 2011年7月 |
||||
| 学位論文 |
小林和貴 |
SMTソルバとPDGを利用したJava テストケース自動導出手法 |
修士学位論文 | 2012年2月 |
||||
| 学位論文 |
小林和貴 |
ESC/Java2の反例出力を利用したJavaメソッド実行パス取得ツールの試作および評価 |
2010年2月 |
soturon.pdf |