国際会議
[1] Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto, "Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java," In IWIN2014, September 2014.
研究会・全国大会等
[1] 榛葉 浩章, 尾ノ上 博樹, 岡野 浩三, 楠本真二, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案," 電子情報通信学会技術研究報告, volume 113, number 489, pages 19-24 2014年3月.
学位論文
[1] 尾ノ上 博樹, "JavaにおけるequalsメソッドとhashCodeメソッドの検査ツールの実装と評価," , 2014年2月.