国内会議(査読付き)

[1] 小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾,　福田 浩章(編), ソフトウェア工学の基礎XVII, number 36, pages 35-44, 2010年11月. [投稿PDF]

研究会・全国大会等

[1] 榛葉 浩章, 尾ノ上 博樹, 岡野 浩三, 楠本真二, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案," 電子情報通信学会技術研究報告, volume 113, number 489, pages 19-24, 2014年3月. [document.pdf]

[2] 伊藤明彦, 長岡武志, 岡野浩三, 楠本真二, "確率的モデル検査ツールを用いた実時間ネットワークシステムの 検証手法の提案およびネットワークシミュレータNS-2 との比較," 電子情報通信学会技術報告, volume 109, number 170, pages 37-42, 2009年8月. [SIGSS0908.pdf]

学位論文

[1] 尾ノ上 博樹, "JavaにおけるequalsメソッドとhashCodeメソッドの検査ツールの実装と評価," , 2014年2月. [graduation-thesis.pdf]