Tweet | |
佐々木, 岡野, 楠本, "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)}, } |