解説

[1] 岡野浩三, "上位設計におけるシステムの振る舞い検証技術," システム/制御/情報, volume Vol. 52, number No. 9, pp.328-333, 2008年9月.

論文誌

[1] Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto, "Qos Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation," IEICE Transactions on Information and Systems, volume E94-D, number 5, May 2011.

[2] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "A Visualization Technique for Unit Testing and Static Checking with Caller-Callee Relationships," Journal of Convergences, volume 2, number 2, pages 1-8, 2011. [A101.pdf]

国際会議

[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. [desc]

[2] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation," In Proc. of the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011), pages 279-284, November 2011. [document.pdf]

[3] Yuko Muto, Kozo Okano, and Shinji Kusumoto, "A Visualization Technique for the Passage Rate of Unit Testing and Static Checking with Caller-Callee Relationships," In International Conference on Advanced Software Engineering, pages 336-341, May 2011. [ICASE.pdf]

国内会議(査読付き)

[1] 堀直哉, 岡野浩三, 楠本真二, "モデル検査技術を用いたインバリアント被覆テスト ケースの自動生成によるDaikon出力の改善," 松下 誠, 川口 真司(編), ソフトウェア工学の基礎XV 日本ソフトウェア科学会FOSE2008, pages 41-50, 2008年11月. [0]

研究会・全国大会等

[1] 小林和貴, 岡野浩三, 楠本真二, "モデル検査器とDaikon を用いた表明動的生成改善 手法のシステム開発実プロジェクト教材への適用と評価," 電子情報通信学会技術報告, 2011年7月.

学位論文

[1] 藤田悠矢, "JavaにおけるhashCodeメソッドの整合性検査手法の精度に関する調査および改善案の提案," 修士学位論文, 大阪大学, 2015年. [main.pdf]

[2] 榛葉　浩章, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査," 修士学位論文, 大阪大学, 2014年. [main.pdf]

[3] Takeshi Nagaoka, "Study on Model Abstraction for Model Checking of Real-Time Systems," Ph.D. thesis, Osaka University, 2011. [thesis.pdf]

[4] 武藤 祐子, "クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価," , 2010年2月. [GraduationThesis.pdf]