宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, J91-D(11), pp. 2721-2723 2008年11月.
ID 44
分類 論文誌
タグ adequacy evaluation assertions java including loop invariants generated daikon
表題 (title) Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価
表題 (英文) Adequacy Evaluation of Assertions for Java Including Loop Invariants Generated by Daikon
著者名 (author) 宮本敬三,岡野浩三,楠本真二
英文著者名 (author) Keizo Miyamoto,Kozo Okano,Shinji Kusumoto
キー (key) Keizo Miyamoto,Kozo Okano,Shinji Kusumoto
定期刊行物名 (journal) 電子情報通信学会論文誌D
定期刊行物名 (英文)
巻数 (volume) J91-D
号数 (number) 11
ページ範囲 (pages) 2721-2723
刊行月 (month) 11
出版年 (year) 2008
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@article{id44,
         title = {Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価},
        author = {宮本敬三 and 岡野浩三 and 楠本真二},
       journal = {電子情報通信学会論文誌D},
        volume = {J91-D},
        number = {11},
         pages = {2721-2723},
         month = {11},
          year = {2008},
}