論文誌
[1] 内尾 静, 鵜林 尚靖, 亀井 靖高, "SMTソルバーを用いたコンテキスト指向プログラミングのためのデバッグ支援 [レター論文]," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 29, number 3, pages 108-114, 2012年.
国内会議(査読付き)
[1] 内尾 静, 鵜林 尚靖, 亀井 靖高, "SMTベースのCOPデバッグ支援," 日本ソフトウェア科学会 第18回ソフトウェア工学の基礎ワークショップ (FOSE 2011), pages 11-20, 2011年.