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

研究会・全国大会等
[1] 佐々木幸広, 小林和貴, 岡野浩三, 楠本真二, "SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案," 電子情報通信学会技術研究報告 , volume 111 , number 481, pages 55-60, 2012年2月. [Sigss2012.pdf]
学位論文
[1] 佐々木幸広, "Java の実行パスからパス実行可能性判定式への変換と SMTソルバによる求解," , 2012年2月. [document.pdf]

Search

Tags

この検索内の頻出タグ: solver:2 SMT:2 PDG:2 Daikon:2 test:1 coverage:1 case:1 assertion:1 Java:1 Invariant: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.034375 seconds.