Embedded Files
本Webサイトは 信州大学 工学部 電子情報システム工学科 数理ソフトウェア工学研究室（岡野研） のサイトです．当研究室では『ソフトウェア工学』『機械学習』の研究を行なっています．
本Webサイトは 信州大学 工学部 電子情報システム工学科 数理ソフトウェア工学研究室（岡野研） のサイトです．当研究室では『ソフトウェア工学』『機械学習』の研究を行なっています．
News
News
2026.5
QRS2026 にRegular Paperとして採択されました
Authors: Sogo Yano, Kozo Okano, Shinpei Ogata, and Shin Nakajima
Title: An LLM-based Specification-Aware Enhancement of Test Oracles for Exception Handler Testing
2026.5
QRS2026 にRegular Paperとして採択されました
Authors: Sogo Yano, Kozo Okano, Shinpei Ogata, and Shin Nakajima
Title: An LLM-based Specification-Aware Enhancement of Test Oracles for Exception Handler Testing
2026.3
REFSQ2026 に発表しました
Authors: Takumi Katsuie, Shinpei Ogata, Yukako Iimura, and Shinobu Saito
Title:A Quantitative Characterization of Design Thinking Artifacts in Requirements Engineering Education
2026.3
REFSQ2026 に発表しました
Authors: Takumi Katsuie, Shinpei Ogata, Yukako Iimura, and Shinobu Saito
Title:A Quantitative Characterization of Design Thinking Artifacts in Requirements Engineering Education
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.
Page updated
Report abuse