宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール," 第7回情報科学技術フォーラム講演論文集, 2008年8月.
ID 43
分類 研究会・全国大会等
タグ infrastructure tool automatic generation invariants java daikon
表題 (title) Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール
表題 (英文) An Infrastructure Tool for Automatic Generation of Invariants in Java with Daikon
著者名 (author) 宮本敬三,堀直哉,岡野浩三,楠本真二
英文著者名 (author) Keizo Miyamoto,Naoya Hori,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Keizo Miyamoto,Naoya Hori,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) 第7回情報科学技術フォーラム講演論文集
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 8
出版年 (year) 2008
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id43,
         title = {Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール},
        author = {宮本敬三 and 堀直哉 and 岡野浩三 and 楠本真二},
     booktitle = {第7回情報科学技術フォーラム講演論文集},
         month = {8},
          year = {2008},
}