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

論文誌
[1] 小林和貴, 佐々木幸広, 岡野浩三, 楠本真二, "PDGとSMTソルバを利用した表明自動導出手法の提案と評価," 電子情報通信学会論文誌D, volume J96-D, number 11, pages 2657-2668, 2013年11月.
[2] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Daikon 生成表明改善のためのテストケース自動生成手法とその評価実験," 日本ソフトウェア科学会誌コンピュータソフトウェア, volume Vo.28, number No.4, pp.4-306-4-317, 2011年.
国際会議
[1] Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, and Shinji Kusumoto, "Towards Automated Generation of Java Methods: a Way of Automated Reuse-Based Programming," In Proc. of the 12th IEEE International Workshop on Software Clones, pages 30-36, March 2018. [sanerws18iwscmain-id4-p.pdf]
国内会議(査読付き)
[1] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲, "アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価," ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009, pages 183-190, 2009年11月. [fose2009.pdf]
[2] 堀直哉, 岡野浩三, 楠本真二, "モデル検査技術を用いたインバリアント被覆テスト ケースの自動生成によるDaikon出力の改善," 松下 誠, 川口 真司(編), ソフトウェア工学の基礎XV 日本ソフトウェア科学会FOSE2008, pages 41-50, 2008年11月. [0]
研究会・全国大会等
[1] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール," 第7回情報科学技術フォーラム講演論文集, 2008年8月. [0]
学位論文
[1] 小林和貴, "SMTソルバとPDGを利用したJava テストケース自動導出手法," 修士学位論文, 2012年2月.

Search

Tags

この検索内の頻出タグ: generation:8 automated:4 test:4 java:2 suites:2 adeqacy:1 assertion:1 assertions:1 automatic:1 checking:1 coverage:1 daikon:1 daikons:1 dynamic:1 evaluation:1 generated:1 improving:1 infrastructure:1 invariant:1 invariants:1 methods:1 model:1 output:1 pdg:1 programming:1 reuse-based:1 smt-solver:1 techniques:1 tool:1 towards:1

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

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

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