国内会議(査読付き)
[1] 山崎将史, 大久保弘崇, 粕谷英人, 山本晋一郎, "アルゴリズミックデバッグにおける正誤判定の効率化と半自動化," ソフトウェア工学の基礎XXIII, volume 42, pages 109-114 2016年12月.