Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

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

Search

Tags

この検索内の頻出タグ: test:2 generation:2 assertion:2 solver:1 smt-solver:1 pdg:1 jml:1 java:1 esc/java2:1 checking:1 case:1 automated:1 SMT:1 PDG:1 Model:1 Java:1 Formal:1 ESC/Java2:1 Daikon:1

7 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

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.038213 seconds.