論文誌

[1] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "A Visualization Technique for Unit Testing and Static Checking with Caller-Callee Relationships," Journal of Convergences, volume 2, number 2, pages 1-8, 2011. [A101.pdf]

国際会議

[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]

[2] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation," In Proc. of the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011), pages 279-284, November 2011. [document.pdf]

[3] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "A Visualization Technique for the Passage Rate of Unit Testing and Static Checking with Caller-Callee Relationships," In International Conference on Advanced Software Engineering, pages 336-341, May 2011. [ICASE.pdf]

国内会議(査読付き)

[1] 武藤 祐子, 岡野 浩三, 楠本 真二, "呼び出し関係を用いた単体テストおよび静的検査の可視化手法の改善とその評価," ソフトウェア工学の基礎XVIII 日本ソフトウェア科学会FOSE2011, pages 163-168, 2011年11月. [paper7.pdf]

研究会・全国大会等

[1] 吉岡一樹, 武藤祐子, 岡野浩三, 楠本真二, "JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, pages 109-110, 2012年1月.

[2] 武藤祐子, 岡野浩三, 楠本真二, "JML によって記述された契約に対する品質評価手法 の提案," 情報処理学会関西支部支部大会, 2011年9月.

学位論文

[1] Yuko Muto, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," Master thesis, Osaka University, 2012.

[2] 武藤 祐子, "クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価," , 2010年2月. [GraduationThesis.pdf]