佐々木, 岡野, 楠本, "SMTソルバと統計解析を用いたJavaプログラム解析器の提案," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月.
ID 312
分類 国内会議(査読付き)
タグ analysis analyzing java method pdg program regression
表題 (title) SMTソルバと統計解析を用いたJavaプログラム解析器の提案
表題 (英文) A Method for Analyzing Java Program Using Pdg and Regression Analysis
著者名 (author) 佐々木 幸広,岡野 浩三,楠本 真二
英文著者名 (author) Yukihiro Sasaki,Kozo Okano,Shinji Kusumoto
キー (key) Yukihiro Sasaki,Kozo Okano,Shinji Kusumoto
刊行月 (month) 11
出版年 (year) 2013
刊行形式 (howpublished) ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@misc{id312,
         title = {SMTソルバと統計解析を用いたJavaプログラム解析器の提案},
        author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
         month = {11},
          year = {2013},
    howpublished = {ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013)},
}