Variable Coverage: A Metric to Evaluate the Exhaustiveness for Program Specifications Based on DbC
International Workshop on Informatics 2013, pp.123-132 (2013)
タグ: JML, assetion, verification, coverage
@inproceedings{YukoMuto2013,
author = {Yuko Muto and Yukihiro Sasaki and Takafumi Ohta and Kozo Okano and Shinji Kusumoto and Kazuki Yoshioka},
title = {Variable Coverage: A Metric to Evaluate the Exhaustiveness for Program Specifications Based on DbC},
booktitle = {International Workshop on Informatics 2013},
pages = {123--132},
year = {2013}
}