大阪大学 · 情報科学研究科 · 教授

研究キーワード分散アルゴリズム・自動検証・ディペンダブルシステム・ソフトウェアテスト

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Diagnosing and Repairing Field Access Hallucinations in LLM-Based Test Generation2026 · Lecture Notes in Computer Science Vol. 16356 p. 59-77 2026年2月18日 研究論文（国際会議プロシーディングス）
• A Self-Adaptive Framework for Deploying Machine Learning Systems Without Ground-Truth Data at Runtime2026 · IEEE Access Vol. 14 p. 30309-30326 2026年 研究論文（学術雑誌）
• Fuzzing the Solidity Compiler Solc with Fuzz4All2026 · Lecture Notes in Computer Science Vol. 16356 p. 48-58 2026年2月18日 研究論文（国際会議プロシーディングス）
• Retrieval-Augmented Generation for Software Requirement-Based Test Case Generation2025 · 2025 25th International Conference on Software Quality, Reliability and Security (QRS) p. 108-119 2025年7月16日 研究論文（国際会議プロシーディングス）

• 分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチ
• ディペンダブル分散システム実現のための耐故障アルゴリズムのモデル検査
• ディペンダブル分散システム実現のための耐故障アルゴリズムのモデル検査
• 設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発

• 公式プロフィール