解説

[1] 岡野浩三, "時間オートマトン," 電子情報通信学会ハンドブック/知識ベース, volume 7 群1 編3 章3-2, 2010年.

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

論文誌

[1] 岡本周之，藤原貴之，楠本真二，岡野浩三, "プラットフォーム依存種検索によるソースコードからのプラットフォーム依存部抽出手法," SEC journal, volume 10, number 5, 2015年1月.

[2] 小林和貴, 佐々木幸広, 岡野浩三, 楠本真二, "PDGとSMTソルバを利用した表明自動導出手法の提案と評価," 電子情報通信学会論文誌D, volume J96-D, number 11, pages 2657-2668, 2013年11月.

[3] 森恵弥佳, 岡野浩三, 楠本真二, "Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-," コンピュータソフトウェア, volume 30, number 3, pages 187-193, 2013年8月.

[4] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Daikon 生成表明改善のためのテストケース自動生成手法とその評価実験," 日本ソフトウェア科学会誌コンピュータソフトウェア, volume Vo.28, number No.4, pp.4-306-4-317, 2011年.

[5] 尾鷲方志, 岡野浩三, 楠本真二, "メソッドの自動生成を用いたOCLのJMLへの変換," コンピュータソフトウェア, volume 27, number 2, 2010年5月. [jssst.pdf]

[6] 尾鷲方志, 岡野浩三, 楠本真二, "在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告," 電子情報通信学会論文誌 VOL.J91-D NO.11, volume 91-D, number 11, pages 2719-2720, 2008年11月. [0]

[7] 宮本敬三, 岡野浩三, 楠本真二, "Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価," 電子情報通信学会論文誌D, volume J91-D, number 11, pages 2721-2723, 2008年11月. [0]

表彰・受賞

[1] 長岡武志, 岡野浩三, 楠本真二, "組込みシステムシンポジウム2008 奨励賞," , 2008年10月.

国内会議(査読付き)

[1] 榛葉浩章, 岡野浩三, 楠本真二, "制約記述言語OCLとJMLの双方向変換手法の提案 ," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月. [FOSE2013Poster.pptx]

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

[3] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲, "アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価," ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009, pages 183-190, 2009年11月. [fose2009.pdf]

[4] 尾鷲方志, 岡野浩三, 楠本真二, "メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計," レクチャーノート・ソフトウェア学 35 ソフトウェア工学の基礎XVI, pages 191-198, 2009年11月. [fose.pdf]

[5] 宮澤清介, 岡野浩三, 楠本真二 , "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pages 69-74, 2009年9月. [SES2009_MiyazawaKiyoyuki.pdf]

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

[7] 長岡武志, 岡野浩三, 楠本真二, "時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良," 組込みシステムシンポジウム2008 論文集, volume 2008, number 9, pages 141-150, 2008年10月. [0]

研究会・全国大会等

[1] 藤田悠矢, 岡野浩三, 楠本真二, "異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法," 電子情報通信学会技術研究報告, volume 113, number 159, pages 007-012, 2013年7月. [sigss1307_f-yuya.pdf]

[2] 吉岡一樹, 岡野浩三, 楠本真二, "契約記述の変更傾向の開発履歴情報を用いた調査," 電子情報通信学会技術研究報告, volume 112, number 457, pages 121-126, 2013年3月.

[3] 森恵弥佳, 岡野浩三, 楠本真二, "在庫管理プログラムに対する Alloy Analyzer を用いた検証事例," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2013・イン・那須, volume 2013, number 1, pages 5-6, 2013年1月. [desc]

[4] 吉岡一樹，岡野浩三，楠本真二, "OCLとの比較を用いた形式仕様記述言語JMLの品質評価メトリクスの提案," ソフトウェアエンヂニアリングシンポジウム2012ワークショップ形式手法の今と未来, 2012年8月.

[5] 榛葉浩章, 花田健太郎, 岡野浩三, 楠本真二, "制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案," 電子情報通信学会技術研究報告, volume 111, number 481, 2012年3月. [document.pdf]

[6] 佐々木幸広, 小林和貴, 岡野浩三, 楠本真二, "SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案," 電子情報通信学会技術研究報告 , volume 111 , number 481, pages 55-60, 2012年2月. [Sigss2012.pdf]

[7] 吉岡一樹, 武藤祐子, 岡野浩三, 楠本真二, "JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, pages 109-110, 2012年1月.

[8] 武藤祐子, 岡野浩三, 楠本真二, "JML によって記述された契約に対する品質評価手法 の提案," 情報処理学会関西支部支部大会, 2011年9月.

[9] 小林和貴, 岡野浩三, 楠本真二, "Daikon を利用した表明動的生成改善手法の実プロ ジェクト教材への適用実験とテストデータ生成改善手法の検討," 平成23 年度情報 処理学会関西支部支部大会,, 2011年9月.

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

[11] 宮澤清介，花田健太郎，岡野浩三, 楠本真二, "OCL からJML への変換ツールに おける対応クラスの拡張と教務システムに対する適用実験," , 2011年3月. [desc]

[12] 宮澤清介, 岡野浩三, 楠本真二, "OCLのJMLへの変換ツールの実装と評価," number 170, 情報通信学会技術報告, 2010年11月. [desc]

[13] 宮澤清介, 岡野浩三, 楠本真二, "数理論理学の形式証明に対する学習支援システムの試作と評価," 情報通信学会技術報告, 2010年9月. [desc]

[14] 伊藤明彦, 長岡武志, 岡野浩三, 楠本真二, "時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析," 電子情報通信学会技術研究報告, volume 109, number 456, pages 85-90, 2010年3月. [SIGSS1003.pdf]

[15] 宮澤清介, 岡野浩三, 楠本真二, "OCLのJMLへの変換ツールの実装," number 110, 電子情報通信学会技術報告, 2010年3月. [desc]

[16] 田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "実時間システムを対象としたCEGARによる抽象洗練の並列化手法," 電子情報通信学会信学技報, volume 110, number 169, pages 35-40, 2010年. [SIGSS201008tstanaka-final.pdf]

[17] 田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "時間システムを対象とした到達可能性解析の高速化手法の提案," 情報処理学会研究報告, volume 170, number 15, 2010年. [SIGSE201011Ver08.pdf]

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

[19] 宮本敬三, 堀直哉, 岡野浩三, 楠本真二, "Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール," 第7回情報科学技術フォーラム講演論文集, 2008年8月. [0]

[20] 長岡武志, 岡野浩三, 楠本真二, "UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法," 電子情報通信学会技術報告, volume 107, number 176, pages 77-82, 2007年8月. [0]

[21] 尾鷲方志, 岡野浩三, 楠本真二, "JMLを用いた在庫管理プログラムの設計とESC/Java2 を用いた検証," 電子情報通信学会技術報告, volume 107, number 176, pages 37-42, 2007年8月. [0]