Kusumoto Laboratory
List of works
論文誌
[1] 小林和貴, 佐々木幸広, 岡野浩三, 楠本真二, "PDGとSMTソルバを利用した表明自動導出手法の提案と評価," 電子情報通信学会論文誌D, volume J96-D, number 11, pages 2657-2668, 2013年11月.
著書
[1] Harry Foster, Adam Krolnik, and David Lacey, "アサーションベース設計 原書第2 版," 丸善, 2004.
国際会議
[1] Kouhei Mihara, Shinsuke Matsumoto, and Shinji Kusumoto, "The Effects of Soft Assertion on Spectrum-Based Fault Localization," In Proceedings of the 24th International Conference on Product-Focused Software Process Improvement (PROFES2023), pages 379-386, 2023.
研究会・全国大会等
[1] 小林和貴, 岡野浩三, 楠本真二, "Daikon を利用した表明動的生成改善手法の実プロ ジェクト教材への適用実験とテストデータ生成改善手法の検討," 平成23 年度情報 処理学会関西支部支部大会,, 2011年9月.
学位論文
[1] 切貫弘之, "相関ルールを用いたソースコード修正候補の推薦," 修士学位論文, 大阪大学, 2015年.
[2] 佐々木幸広, "Java の実行パスからパス実行可能性判定式への変換と SMTソルバによる求解," , 2012年2月.

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.074797 seconds.