| Tweet | |
| 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},
}
|