Embedded Files
本Webサイトは 信州大学 工学部 電子情報システム工学科 数理ソフトウェア工学研究室（岡野研） のサイトです．当研究室では『ソフトウェア工学』『機械学習』の研究を行なっています．
本Webサイトは 信州大学 工学部 電子情報システム工学科 数理ソフトウェア工学研究室（岡野研） のサイトです．当研究室では『ソフトウェア工学』『機械学習』の研究を行なっています．
News
News
Authors: Sogo Yano, Kozo Okano, and Shinpei Ogata
Title of the Paper: Exception-Oriented Test Case Generation and Evaluation Using GitHub Copilot
Title of the Paper: Exception-Oriented Test Case Generation and Evaluation Using GitHub Copilot
Authors: Kansei Inoue, Shinpei Ogata, Toshifusa Sekizawa, and Kozo Okano
Title of the Paper: Automatic Translation from PlantUML Description to NuSMV Using LLM
Title of the Paper: Automatic Translation from PlantUML Description to NuSMV Using LLM
三輪 丈馬，小形 真平，鈴木 彦文，橋浦 弘明，岡野 浩三，住宅における情報ネットワークに対する非技術者向け要求表現ツールの検討，インターネットと運用技術シンポジウム論文集，2023，pp.101-102, 2023.
三輪 丈馬，小形 真平，鈴木 彦文，橋浦 弘明，岡野 浩三，住宅における情報ネットワークに対する非技術者向け要求表現ツールの検討，インターネットと運用技術シンポジウム論文集，2023，pp.101-102, 2023.
Authors: Takuma Ikeda, Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
Authors: Takuma Ikeda, Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
Title of the Paper: DNN-based Fault Localization with Virtual Coverage based on Number of Executions
Title of the Paper: DNN-based Fault Localization with Virtual Coverage based on Number of Executions
新井 凪，佐竹 柊路，小形 真平，鈴木 彦文，岡野 浩三，モデル駆動型ネットワーク機器設定支援アプローチ，第60回IOT研究会，2023-IOT-60(15)，pp.1-8, 2023.
新井 凪，佐竹 柊路，小形 真平，鈴木 彦文，岡野 浩三，モデル駆動型ネットワーク機器設定支援アプローチ，第60回IOT研究会，2023-IOT-60(15)，pp.1-8, 2023.
木村 拓馬，五島 光祥，小形 真平，槇原 絵里奈，岡野 浩三，ステートマシン図記述課題における答案が満たさない要求の特定・計測半自動化手法の提案，実践的IT教育シンポジウム rePiT 論文集，Vol.2023, pp.101-112, 2023.
木村 拓馬，五島 光祥，小形 真平，槇原 絵里奈，岡野 浩三，ステートマシン図記述課題における答案が満たさない要求の特定・計測半自動化手法の提案，実践的IT教育シンポジウム rePiT 論文集，Vol.2023, pp.101-112, 2023.
Improve measuring suspiciousness of bugs in spectrum-based fault localization with deep learning
Improve measuring suspiciousness of bugs in spectrum-based fault localization with deep learning
佐竹 柊路，鈴木 彦文，小形 真平，新井 凪，岡野 浩三，リンク障害に対するネットワーク設計の自動検証手法の試案，第58回IOT研究会，2022-IOT-58(3)，pp.1-8, 2022.
佐竹 柊路，鈴木 彦文，小形 真平，新井 凪，岡野 浩三，リンク障害に対するネットワーク設計の自動検証手法の試案，第58回IOT研究会，2022-IOT-58(3)，pp.1-8, 2022.
2022.4.8
2022.4.8
電子情報通信学会ソフトウェアサイエンス研究会において、当研究室の池田拓真さんが研究奨励賞を受賞しま した!
池田拓真・岡野浩三・小形真平・中島 震: テスト実行結果を自動分類するためのメソッドにおける近接情報を活用した実行トレースの符号化, 電子情報通信学会技術報告, vol. 121, no. 318, SS2021-33, pp. 83-88, 2022年1月.
新井 凪，鈴木 彦文，小形 真平，岡野 浩三，ネットワーク構成情報の設計仕様に基づくネットワーク機器設定手順の自動生成方法に関する検討，第55回IOT研究会，2021-IOT-55(1)，pp.1-8, 2021.
新井 凪，鈴木 彦文，小形 真平，岡野 浩三，ネットワーク構成情報の設計仕様に基づくネットワーク機器設定手順の自動生成方法に関する検討，第55回IOT研究会，2021-IOT-55(1)，pp.1-8, 2021.
エントリークラス 競技部門 優勝
エントリークラス 競技部門 優勝
2020.11.19-20
FOSE2020にて当研の大宮 拓馬さんがIEEE Computer Society Japan Chapter FOSE Young Researcher Awardを受賞しました！
2020.11.19-20
FOSE2020にて当研の大宮 拓馬さんがIEEE Computer Society Japan Chapter FOSE Young Researcher Awardを受賞しました！
大宮 拓馬，小形 真平，岡野 浩三，可読性の高いクラス図レイアウトを作成するための美的基準の調査，第27回 ソフトウェア工学の基礎ワークショップ（FOSE2020），pp.57-66, 2020.
大宮 拓馬，小形 真平，岡野 浩三，可読性の高いクラス図レイアウトを作成するための美的基準の調査，第27回 ソフトウェア工学の基礎ワークショップ（FOSE2020），pp.57-66, 2020.
詳細はコチラ
Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano, Java model checking: improvement of the understanding of counterexample, Proc. of the International Workshop on Informatics 2020 (IWIN 2020), pp.95-99, 2020.
Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano, Java model checking: improvement of the understanding of counterexample, Proc. of the International Workshop on Informatics 2020 (IWIN 2020), pp.95-99, 2020.
Rin Karashima, Satoshi Harauchi, Shinpei Ogata, and Kozo Okano, Proposal and evaluation for equivalence checking for C and Java functions with recursive data structures by SAW, Proc. of the International Workshop on Informatics 2019 (IWIN 2019), pp.155-162, 2019.
Rin Karashima, Satoshi Harauchi, Shinpei Ogata, and Kozo Okano, Proposal and evaluation for equivalence checking for C and Java functions with recursive data structures by SAW, Proc. of the International Workshop on Informatics 2019 (IWIN 2019), pp.155-162, 2019.
Page updated
Report abuse