アクセス数:123件（2024-04-20 04:14 集計）

固定URL: https://hdl.handle.net/11094/27440

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_J91-D_11_2721 pdf なし 62.9 KB 82 2014.04.11  

論文情報

ファイル出力

タイトル
Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価
Adequacy Evaluation of Assertions for Java Including Loop Invariants Generated by Daikon
Java　ニ　タイスル　ループインバリアント　ヲ　フクム　Daikon　セイセイ　アサーション　ノ　ダトウセイ　ヒョウカ
著者
著者名
宮本, 敬三 ; ミヤモト, ケイゾウ ; Miyamoto, Keizo
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
著者名
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
キーワード等
Java
表明
Daikon
JML
ESC/Java2
抄録
Daikonが生成する事前・事後条件の表明をESC/Java2で評価すると再現率，適合率ともに高いという研究結果がある．小規模のプログラムに対し，事前・事後条件，ループ不変式の再現率，適合率をESC/Java2及び人手で行った．その結果を示し，考察を与える．
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会論文誌D
巻(号)
J91-D(11)
ページ
2721-2723
刊行年月
2008-11-01
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27440
PISSN
18804535
NCID
AA12099634
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
© （社）電子情報通信学会 2008
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article