国際会議

[1] Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, , and Kazuki Yoshioka, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," International Workshop on Informatics 2013, pages 123-132, 2013. [main.pdf]