Y. Muto, Y. Sasaki, T. Ohta, K. Okano, S. Kusumoto, , and K. Yoshioka, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," International Workshop on Informatics 2013, pp. 123-132 2013.
ID 297
分類 国際会議
タグ JML assetion verification coverage
表題 (title) Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc
表題 (英文)
著者名 (author) Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto,,Kazuki Yoshioka
英文著者名 (author) ,
キー (key) ,
定期刊行物名 (journal) International Workshop on Informatics 2013
定期刊行物名 (英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 123-132
刊行月 (month) 0
出版年 (year) 2013
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル main.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@article{id297,
         title = {Variable Coverage: A Metric to Evaluate the Exhaustiveness for Program Specifications Based on DbC},
        author = {Yuko Muto and  Yukihiro Sasaki and  Takafumi Ohta and  Kozo Okano and  Shinji Kusumoto and  and Kazuki  Yoshioka},
       journal = {International Workshop on Informatics 2013},
         pages = {123-132},
         month = {0},
          year = {2013},
}