佐々木, 岡野, 楠本, "SMTを活用したJava プログラム解析器の設計," ソフトウェア工学の基礎XIX, pp. 33-38 2012年12月.
ID 269
分類 国内会議(査読付き)
タグ
表題 (title) SMTを活用したJava プログラム解析器の設計
表題 (英文)
著者名 (author) 佐々木 幸広,岡野 浩三,楠本 真二
英文著者名 (author) Yukihiro Sasaki,Kozo Okano,Shinji Kusumoto
キー (key) SMTソルバ, PDG, テストケース, モデル検査
定期刊行物名 (journal) ソフトウェア工学の基礎XIX
定期刊行物名 (英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 33-38
刊行月 (month) 12
出版年 (year) 2012
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル fose2012.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@article{id269,
         title = {SMTを活用したJava プログラム解析器の設計},
        author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
       journal = {ソフトウェア工学の基礎XIX},
         pages = {33-38},
         month = {12},
          year = {2012},
}