- 論文誌
- [1] 森恵弥佳, 岡野浩三, 楠本真二, "Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-," コンピュータソフトウェア, volume 30, number 3, pages 187-193, 2013年8月.
- 国際会議
- [1] Haruki Yokoyama, Yoshiki Higo, and Shinji Kusumoto, "Evaluating Automated Program Repair Using Characteristics of Defects," In The 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP), March 2017.