He loves aquariums, fish, logical and physical bugs.
Majors are Software engineering, Software repositories mining, Fault-prone module detection, Software metrics, Software project management, and Software process.

Affiliation

Professor,
Faculty of Information and Human Sciences,
Kyoto Institute of Technology

• Deputy Director of Academic Field of Engineering Design
• Director of Master’s Program of Information Science
• Director of Doctor’s Program of Design Engineering

• e-mail: o-mizuno (at) kit.ac.jp

• Profile »
• Web site »

Academic Degree

Ph.D. (Engineering) Osaka University

Research works

• Publications »
• Scopus »
• Google Scholar »

• All publications can be found here.

Interested Topics

• Test case selection in combinatorial testing using statistical analysis

Research works

• All publications can be found here.

• 鈴木 孝太郎, 西浦 生成, 水野 修, "[ポスター発表] IoTデバイスを用いた新しい認証方法の試み", ソフトウェアエンジニアリングシンポジウム2026, toappear.
• 富永 康太, 西浦 生成, 水野 修, "オープンソースC++プロジェクトにおける型推論autoの利用傾向に関する実証的調査", ソフトウェアエンジニアリングシンポジウム2026 (ロング発表採録), toappear.
• Natthakit Netsiwawichian, Osamu Mizuno, Kinari Nishiura, Bundit Manaskasemsak, and Arnon Rungsawang, "[Best paper award] Evaluating Causal Impact of Hacker News on GitHub Repositories", Proc. of 34th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2026), 2026.
• Natthakit Netsiwawichian, Osamu Mizuno, Kinari Nishiura, Bundit Manaskasemsak, and Arnon Rungsawang, "Evaluating Causal Impact of Hacker News on GitHub Repositories", 34th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2026), 2026.
• Gaku Takahashi, Kinari Nishiura, and Osamu Mizuno, "Development of a 2D Dungeon-Crawling RPG Game For Facilitating C Language Comprehension through Debugger Integration", The 38th International Conference on Software Engineering Education and Training (CSEET2026), 2026.
• 近藤 潤之介, 西浦 生成, 水野 修, "[論文奨励賞] ホワイトボックステストの熟練度向上を目指したゲームシステムの試作開発", ソフトウェア・シンポジウム2026, 2026.
• 近藤 潤之介, 西浦 生成, 水野 修, "ホワイトボックステストの熟練度向上を目指したゲームシステムの試作開発", ソフトウェア・シンポジウム2026 論文集, 151-160, 2026.
• 南 翔大, 西浦 生成, 崔 恩瀞, 水野 修, "メモリ安全性バグに着目したRust プログラムの Unsafe コードパターンの分析", 情報処理学会論文誌, 67(4), 735-747, 2026.
• 川野 稜介, 西浦 生成, 水野 修, "独立性検定と特徴量重要度抽出を用いたプルリクエストとソフトウェア不具合混入との関係分析", 情報処理学会論文誌, 67(4), 798-808, 2026.
• 井上 蒼士, 西浦 生成, 水野 修, "大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 227−228, 2025.
• 鈴木 孝太郎, 西浦 生成, 水野 修, "セキュリティ課題の評価を目的としたWebブラウザのコンソールログのマイニング", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 205-206, 2025.
• 近藤 潤之介, 高橋 樂, 西浦 生成, 水野 修, "[ポスター発表] デバッガとの協調動作によるC言語の理解を促進するRPG風ダンジョンゲームの開発", 第32回ソフトウェア工学の基礎ワークショップ (FOSE2025), 2025.
• 井上 蒼士, 西浦 生成, 水野 修, "[優秀発表賞] 大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 2025.
• 近藤 潤之介, 高橋 樂, 西浦 生成, 水野 修, "[優秀発表賞] デバッガとの協調動作によるC言語の理解を促進するRPG風ダンジョンゲームの開発", 第32回ソフトウェア工学の基礎ワークショップ (FOSE2025), 2025.
• 有川 康幸, 西浦 生成, 水野 修, "環境差異を吸収可能なプログラミング演習支援システムの開発", 第 32 回ソフトウェア工学の基礎ワークショップ (FOSE2025), 203-204, 2025.
• 川野 稜介, 西浦 生成, 水野 修, "独立性検定と特徴量重要度抽出を用いたプルリクエストとソフトウェア不具合混入との関係分析", ソフトウェアエンジニアリングシンポジウム2025 (SES2025), 172-180, 2025.
• 高橋 樂, 西浦 生成, 水野 修, "C 言語の理解を促進するRPG 風ダンジョンゲーム作成に向けたマップ生成手法の提案", ソフトウェア・シンポジウム2025論文集, 56-65, 2025.
• 嶋田 拓真, 西浦 生成, 水野 修, "バグの混入および修正に関連したコミットメッセージの多クラス感情分析", ソフトウェア・シンポジウム 2025論文集, 132-141, 2025.
• 嶋田 拓真, 西浦 生成, 水野 修, "バグの混入および修正に関連したコミットメッセージの多クラス感情分析", 第18 回ソフトウェア信頼性研究会ワークショップ, 2025.
• 高橋 樂, 水野 修, 西浦 生成, "C 言語の理解を促進する RPG 風ダンジョンゲーム作成に向けたマップ生成手法の提案", 第18回ソフトウェア信頼性研究会ワークショップ, 2025.
• 川野 稜介, 西浦 生成, 水野 修, "プルリクエスト及びその特徴とソフトウェア不具合混入との関係分析", 第18回ソフトウェア信頼性研究会ワークショップ, 2025.
• 鈴木 孝太郎, 西浦 生成, 水野 修, "セキュリティ課題の評価を目的としたWebブラウザのコンソールログのマイニング", 第18回ソフトウェア信頼性研究会ワークショップ, 2025.
• 廣瀬 椋一, 西浦 生成, 角田 雅照, 門田 暁人, "過去と現在進行中のテスト結果を組み合わせたソフトウェアバグ予測", コンピュータソフトウェア, 41(4), 4_67-4_73, 2024.
• Yasuyuki Arikawa, Kinari Nishiura, and Osamu Mizuno, "Finding Bugs in Embedded External Device Drivers Using Emulation", Proc. of the 6th World Symposium of Software Engineering (WSSE 2024), 129-132, 2024.
• 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, 122-130, 2024.
• Kinari Nishiura, Eun-Hye Choi, Eunjong Choi, and Osamu Mizuno, "Two Improving Approaches for Faulty Interaction Localization using Logistic Regression Analysis", Software Quality Journal, 32, 1039-1073, 2024.
• 宮永 翔多, 崔 恩瀞, 西浦 生成, 水野 修, "オープンソースソフトウェアでのChatGPT提案コードの再利用動向分析", ソフトウェア・シンポジウム2024論文集, 22-31, 2024.
• Soshi Inoue, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Analyzing the Impact of Formal Methods on Isuue Trends Using BERTopic", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), 2024.
• Juntong Hong, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Global Alignment Learning For Code Search", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), 6 pages, 2024.
• 麻生 直希, 西浦 生成, 笹倉 万里子, 門田 暁人, "スマホゲームにおける課金誘導方法の分析", コンピュータソフトウェア, 41(1), 75-81, 2024.
• 河瀬 友佑, 西浦 生成, 門田 暁人, "高齢者の認知機能維持のためのコンピュータゲームの選定に向けて", 第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), 193-194, 2023.
• 横山 大貴, 西浦 生成, 門田 暁人, "BERTによるセキュリティバグの判別の試み", 第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), 197-198, 2023.
• 起塚 亮, 西浦 生成, 門田 暁人, "テストケース作成におけるChatGPT利用の効果", 第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), 195-196, 2023.
• 三澤 秀斗, 西浦 生成, 笹倉 万里子, 門田 暁人, "小規模JavaScriptプロジェクトにおけるclass構文の使用実態の調査", 第30回ソフトウェア工学の基礎ワークショップ(FOSE2023), 105-110, 2023.
• 西窪 修広, 西浦 生成, 笹倉 万里子, 門田 暁人, "ChatGPTをSE役とした対話による要求獲得の試み", 第30回ソフトウェア工学の基礎ワークショップ (FOSE2023), 147-152, 2023.
• Kinari Nishiura, Kaito Ikeda, Mariko Sasakura, and Akito Monden, "Exploring Behavioral Trustworthiness of GitHub Developers", Proceedings of the 2023 5th World Symposium on Software Engineering (WSSE 23), 92-95, 2023.
• 村越 竜介, 西浦 生成, 笹倉 万里子, 門田 暁人, "提案依頼書におけるセキュリティ要件の分析", ソフトウェアエンジニアリングシンポジウム2023論文集, 58-65, 2023.
• Kinari Nishiura, Takeki Kasagi, and Akito Monden, "A Cost-Effectiveness Metric for Association Rule Mining in Software Defect Prediction", Proc. 2023 Congress in Computer Science, Computer Engineering, and Applied Computing (CSCE), 2615-2620, 2023.
• Kazuki Matsumoto, Kinari Nishiura, Mariko Sasakura, and Akito Monden, "Analysis of Programming Performance Based on 2-grams of Keystrokes and Mouse Operations", Proc. 21st IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA2023), 301-306, 2023.
• 西浦 生成, 門田 暁人, "Fault-proneモジュール予測における第三者データに基づいた外れ値除去", コンピュータソフトウェア, 40(4), 22-28, 2023.
• 松本 和樹, 西浦 生成, 笹倉 万里子, 門田 暁人, "キーストロークとマウス操作に基づくプログラミング能力の分析", 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)論文集, 165-170, 2022.
• 山形 宥太, 西浦 生成, 笹倉 万里子, 門田 暁人, "育成の観点を取り入れたプロジェクト管理ゲーム", 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)論文集, 205-206, 2022.
• 池田 海斗, 西浦 生成, 笹倉 万里子, 門田 暁人, "ソフトウェア開発者の信頼度の評価に向けて", 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)論文集, 215-216, 2022.
• 村越 竜介, 西浦 生成, 笹倉 万里子, 門田 暁人, "提案依頼書におけるセキュリティ要件の実態調査", 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)論文集, 229-230, 2022.
• 麻生 直希, 西浦 生成, 笹倉 万里子, 門田 暁人, "スマホゲームにおける課金誘導方法の調査研究", 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)論文集, 241-242, 2022.
• 西浦 生成, 門田 暁人, "Fault-proneモジュール予測における第三者データに基づいた外れ値除去", 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022)論文集, 153-158, 2022.
• 瀬戸 俊輝, 西浦 生成, 門田 暁人, "相関ルールとランダムフォレストを組合わせたfault-proneモジュール予測の追実験", 情報処理学会論文誌, 63(8), 1352-1360, 2022.
• 廣瀬 椋一, 門田 暁人, 角田 雅照, 笹倉 万里子, 西浦 生成, "ソフトウェアテストの途中結果を用いたバグ予測", 信学技報, 19-24, 2022.
• 西脇 将樹, 門田 暁人, 笹倉 万里子, 西浦 生成, "データ断片からのソフトウェア開発データ復元の実験評価", 信学技報, 121(416), 60-65, 2022.
• 西浦 生成, "ソフトウェアテストの自動化を目指した組み合わせテスト入力値限局手法とテストコード自動生成手法の考案", 博士学位論文, 京都工芸繊維大学 大学院工芸科学研究科, 2021.

Majors are Software clones, refactoring, software engineering, software repositories mining,

Affiliation

Faculty of Information and Human Sciences,
Kyoto Institute of Technology
Intellectual Software Engineering Laboratory

• e-mail: echoi (at) kit.ac.jp
• Website
• A list of all publication is found here.

Academic Degree

Ph.D. Information Science, Osaka University

Recent Research works

• 南 翔大, 西浦 生成, 崔 恩瀞, 水野 修, "メモリ安全性バグに着目したRust プログラムの Unsafe コードパターンの分析", 情報処理学会論文誌, 67(4), 735-747, 2026.
• 宮永 翔多, 崔 恩瀞, 水野 修, "保守性指標とコード品質指標に基づく ChatGPT 生成コードの分析", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 229-230, 2025.
• 南 翔大, 崔 恩瀞, 石原 一宏, 村上 崇, 齋藤 俊彰, 水野 修, "プログラム、情報処理方法、及び情報処理装置, 特願2023-174691", 特許査定済, 2025.
• Juntong Hong, Eunjong Choi, and Osamu Mizuno, "GNEM: Comprehensive Similarity Learning With Ensemble Model For Code Search", IEEE Access, 12, 165005-165016, 2024.
• 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, 122-130, 2024.
• 宮永 翔多, 崔 恩瀞, 西浦 生成, 水野 修, "オープンソースソフトウェアでのChatGPT提案コードの再利用動向分析", ソフトウェア・シンポジウム2024論文集, 22-31, 2024.
• Kinari Nishiura, Eun-Hye Choi, Eunjong Choi, and Osamu Mizuno, "Two Improving Approaches for Faulty Interaction Localization using Logistic Regression Analysis", Software Quality Journal, 32, 1039-1073, 2024.
• Soshi Inoue, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Analyzing the Impact of Formal Methods on Isuue Trends Using BERTopic", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), 2024.
• Juntong Hong, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Global Alignment Learning For Code Search", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), 6 pages, 2024.
• Hiroya Watanabe, Masanari Kondo, Eunjong Choi, and Osamu Mizuno, "Benefits and pitfalls of token-level SZZ: An empirical study on OSS projects", Proc. of IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER2024) , 2024.

Who are you?

A twitter enabled bot for aquarium monitoring in the laboratory.
The icon is a newt with a snail in the aquarium.
It also monitors staff and students in the laboratory.

Twitter: @sel_aquarium

Research works

• 高橋 樂, 西浦 生成, 水野 修, "C 言語の理解を促進するRPG 風ダンジョンゲーム作成に向けたマップ生成手法の提案", ソフトウェア・シンポジウム2025論文集, 56-65, 2025.
• Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, and Eun-Hye Choi, "Log-based Anomaly Detection of CPS Using a Statistical Method", Proc. of the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP2017), 1-6, 2017.
• 水野 修, "お手軽マイコンを用いた水槽管理システムあくあたんの紹介", 第64回 SEA関西プロセス分科会, 2016.
• 水野 修, "情報技術を利用した水槽管理システム『あくあたん』の開発", 京都工芸繊維大学 情報科学センター広報, 20-24, 2015.
• 水野 修, "「みんなのラズパイコンテスト」グランプリ作品: 移動して給餌する水槽管理ロボット〜目的の位置で撮影してツイート〜 (Raspberry Piで楽しいモノ作り) ", 日経Linux, 17(4), 77-83, 2015.

Interested Topics

Research works

• Ryosuke Tanaka, Kota Takeuchi, Domu Kawakami, Natsuki Oka, Osamu Mizuno, and Kazuaki Tanaka, "Real-Time Occlusion Resolution Framework for Hand Tracking Using Video Inpainting", Proc. of 2026 IEEE 15th Global Conference on Consumer Electronics (GCCE 2026), toappear.

Interested Topics

• Extended search and generation of warning messages for images of childcare environments based on accident cases

Research works

• 平居 珠実, 岡 夏樹, 田中 一晶, "マルチモーダル大規模言語モデルを用いた子どもの危険警告システムの設計指針の導出", 情報処理学会 インタラクション2026 (登壇発表), 70-79, 2026.
• 平居 珠実, 岡 夏樹, 田中 一晶, "子どもの事故事例に基づくRAG型警告システムの開発", 情報処理学会 インタラクション2025 (インタラクティブ発表 1B-55), 441-446, 2025.
• 平居 珠実, 岡 夏樹, 田中 一晶, "生活環境に潜む子どもの事故要因検知システムの開発", 電子情報通信学会技術報告(HCS研究会), 36-41, 2023.

• Portfolio

Interested Topics

• Repositories mining on social network systems and software development

Research works

• Natthakit Netsiwawichian, Osamu Mizuno, Kinari Nishiura, Bundit Manaskasemsak, and Arnon Rungsawang, "Evaluating Causal Impact of Hacker News on GitHub Repositories", 34th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2026), 2026.
• Natthakit Netsiwawichian, Osamu Mizuno, Kinari Nishiura, Bundit Manaskasemsak, and Arnon Rungsawang, "[Best paper award] Evaluating Causal Impact of Hacker News on GitHub Repositories", Proc. of 34th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2026), 2026.
• Bundit Manaskasemsak, Natthakit Netsiwawichian, and Arnon Rungsawang, "Entity Co-occurrence Graph-Based Clustering for Twitter Event Detection", Proc. of Advanced Information Networking and Applications (AINA2024), Lecture Notes on Data Engineering and Communications Technologies, 2024.
• Supavas Sitthithanasakul, Bodin Chinthanet, Raula Gaikovina Kula, Natthakit Netsiwawichian, Pattara Leelaprute, Bundit Manaskasemsak, Arnon Rungsawang, and Kenichi Matsumoto, "Do Developers Present Proficient Code Snippets in Their README Files? An Analysis of PyPI Libraries in GitHub", Journal of Information Processing, 31, 679-688, 2023.

• Portfolio

Research works

• Soshi Inoue, "Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification", Proc. of 27th International Symposium on Formal Methods (FM 2026), Doctoral Symposium, 2026.
• 井上 蒼士, "LLM によるコミット自動分類に基づいた 開発プロセスへの形式手法適用効果の分析", 修士学位論文, 京都工芸繊維大学 大学院工芸科学研究科, 2026.
• 井上 蒼士, 西浦 生成, 水野 修, "[優秀発表賞] 大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 2025.
• 井上 蒼士, 西浦 生成, 水野 修, "大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 227−228, 2025.
• 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, 122-130, 2024.

• Portfolio

Research works

• 川野 稜介, 西浦 生成, 水野 修, "独立性検定と特徴量重要度抽出を用いたプルリクエストとソフトウェア不具合混入との関係分析", 情報処理学会論文誌, 67(4), 798-808, 2026.
• 川野 稜介, 西浦 生成, 水野 修, "独立性検定と特徴量重要度抽出を用いたプルリクエストとソフトウェア不具合混入との関係分析", ソフトウェアエンジニアリングシンポジウム2025 (SES2025), 172-180, 2025.
• 川野 稜介, 西浦 生成, 水野 修, "プルリクエスト及びその特徴とソフトウェア不具合混入との関係分析", 第18回ソフトウェア信頼性研究会ワークショップ, 2025.
• 川野 稜介, "プルリクエスト及びその特徴とソフトウェア不具合混入との関係分析", 卒業研究報告, 京都工芸繊維大学 情報工学課程, 2025.

• Portfolio

Research works

• 鈴木 孝太郎, 西浦 生成, 水野 修, "[ポスター発表] IoTデバイスを用いた新しい認証方法の試み", ソフトウェアエンジニアリングシンポジウム2026, toappear.
• 鈴木 孝太郎, 西浦 生成, 水野 修, "セキュリティ課題の評価を目的としたWebブラウザのコンソールログのマイニング", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 205-206, 2025.
• 鈴木 孝太郎, 西浦 生成, 水野 修, "セキュリティ課題の評価を目的としたWebブラウザのコンソールログのマイニング", 第18回ソフトウェア信頼性研究会ワークショップ, 2025.
• 鈴木 孝太郎, "セキュリティ課題の評価を目的としたWebブラウザのコンソールログのマイニング", 卒業研究報告, 京都工芸繊維大学 情報工学課程, 2025.