国際会議

[1] Ryoga Watanabe, Yoshiki Higo, and Shinji Kusumoto, "Impacts of Program Structures on Code Coverage of Generated Test Suites," In Proceedings of the 24th International Conference on Product-Focused Software Process Improvement (PROFES2023), pages 355-362, December 2023. [ryg-wtnb_202312_profes.pdf]

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

[3] Simone Livieri, Yoshiki Higo, Makoto Matsushita, and Katsuro Inoue, "Analysis of the Linux Kernel Evolution Using Code Clone Coverage," In Proc. of the International Workshop on Mining Software Repositories (MSR2007), May 2007.

国内会議(査読付き)

[1] 堀直哉, 岡野浩三, 楠本真二, "モデル検査技術を用いたインバリアント被覆テスト ケースの自動生成によるDaikon出力の改善," 松下 誠, 川口 真司(編), ソフトウェア工学の基礎XV 日本ソフトウェア科学会FOSE2008, pages 41-50, 2008年11月. [0]

研究会・全国大会等

[1] 谷口真幸, 柗本真佑, 楠本真二, "A Systematic Review of Source Code Coverage Metrics: Preliminary Results," 電子情報通信学会技術報告, volume 122, number 330, pages 78-83, 2023年1月. [draft.pdf]

学位論文

[1] 谷口真幸, "A Literature Review of Test Coverage Metrics," 修士学位論文, 大阪大学, 2023年. [m-tanigt_202302_mthesis.pdf]

[2] 佐々木幸広, "Java の実行パスからパス実行可能性判定式への変換と SMTソルバによる求解," , 2012年2月. [document.pdf]

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