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

論文誌
[1] 宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, volume J91-D, number 11, pages 2721-2723, 2008年11月. [0]
国内会議(査読付き)
[1] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲, "アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価," ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009, pages 183-190, 2009年11月. [fose2009.pdf]

Search

Tags

この検索内の頻出タグ: generation:2 generated:2 evaluation:2 assertions:2 test:1 suites:1 loop:1 java:1 invariants:1 including:1 dynamic:1 daikon:1 automated:1 adequacy:1 adeqacy:1

2 件の該当がありました. : このページの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.032423 seconds.