論文誌
[1] 内尾 静, 鵜林 尚靖, 亀井 靖高, "SMTソルバーを用いたコンテキスト指向プログラミングのためのデバッグ支援 [レター論文]," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 29, number 3, pages 108-114, 2012年.
国内会議(査読付き)
[1] 内尾 静, 鵜林 尚靖, 亀井 靖高, "SMTベースのCOPデバッグ支援," 日本ソフトウェア科学会 第18回ソフトウェア工学の基礎ワークショップ (FOSE 2011), pages 11-20, 2011年.
研究会・全国大会等
[1] Shizuka Uchio, Naoyasu Ubayashi, and Yasutaka Kamei, "Cjadviser: Smt-Based Debugging Support for Contextj*," In 3rd Workshop on Context-Oriented Programming (COP 2011) (Workshop at ECOOP 2011), 2011.