論文誌

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