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

論文誌
[1] 小林和貴, 佐々木幸広, 岡野浩三, 楠本真二, "PDGとSMTソルバを利用した表明自動導出手法の提案と評価," 電子情報通信学会論文誌D, volume J96-D, number 11, pages 2657-2668, 2013年11月.
国内会議(査読付き)
[1] 佐々木 幸広, 岡野 浩三, 楠本 真二, "SMTソルバと統計解析を用いたJavaプログラム解析器の提案," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月.
[2] 佐々木 幸広, 岡野 浩三, 楠本 真二, "SMTを活用したJava プログラム解析器の設計," ソフトウェア工学の基礎XIX, pages 33-38, 2012年12月. [fose2012.pdf]
研究会・全国大会等
[1] 佐々木 幸広, 岡野 浩三, 楠本 真二, PDGとSMTソルバを用いたJavaプログラム解析器の提案, SESワークショップ2013, 2013年.
[2] 佐々木幸広, 小林和貴, 岡野浩三, 楠本真二, "SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案," 電子情報通信学会技術研究報告 , volume 111 , number 481, pages 55-60, 2012年2月. [Sigss2012.pdf]
学位論文
[1] 佐々木 幸広, "プログラム解析を目的としたループ実行前後の変数間に成り立つ写像導出," 修士学位論文, 2014年2月.
[2] 佐々木幸広, "Java の実行パスからパス実行可能性判定式への変換と SMTソルバによる求解," , 2012年2月. [document.pdf]

Search

Tags

この検索内の頻出タグ: solver:3 pdg:3 program:2 method:2 java:2 assertion:2 analyzing:2 SMT:2 PDG:2 Daikon:2 test:1 smt-solver:1 smt:1 regression:1 generation:1 coverage:1 case:1 automated:1 analysis:1 Java:1 Invariant: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.139176 seconds.