FOSE2025

基調講演

  • 講演者:小林 隆志 氏 (東京科学大学 情報理工学院 教授)
  • 題 目:再利用可能な開発経験の再利用と活用を目指して
  • 略 歴:
    1997年東京工業大学工学部情報工学科卒業.
    1999年東京工業大学大学院情報理工学研究科修士課程修了.
    2002年同大学助手.
    名古屋大学准教授,東京工業大学准教授を経て,2021 年東京工業大学情報理工学院教授.
    2024年より東京科学大学情報理工学院教授.
    博士 (工学).
    ソフトウェア再利用技術,リポジトリマイニング,プログラム理解などの研究に従事.

プログラム(1日目, 11/12)

時間帯場 所セッション
15:00 -- 15:301F 泰山オープニング
15:30 -- 17:101F 泰山 【依存関係・変更分析(研究論文:フルペーパー) 1件25分(発表15分,質疑10分)】
  • ディレクトリ単位のソースコード比較による再利用コンポーネントの配置場所とバージョン範囲の特定
    ○小原 叶夢,石尾 隆(公立はこだて未来大学)
  • PU学習とマルチインスタンス学習を用いたJavaScriptにおける破壊的変更検出手法の提案
    ○徳元 聖也,伊原 彰紀,飯田 智輝,吉田 将衛(和歌山大学)
  • Kotlin向け静的解析ツールで見られる警告のコード変更に伴う変化に関する傾向分析
    ○岡元 紀衛,佐伯 昌造,阿萬 裕久,川原 稔(愛媛大学)
  • ソースコードの自動削除による Java 外部ライブラリ除去の影響分析手法
    ○岩田 篤季,石尾 隆(公立はこだて未来大学)

プログラム(2日目, 11/13)

時間帯場 所セッション
9:00 -- 10:001F 泰山 【品質・リスク評価(研究論文:ショートペーパー)1件25分(発表15分,質疑10分)】
  • 性能・信頼性評価に向けた実行条件異常の設計時分析と仮想評価条件導出
    ○永山 飛鳥(日産自動車)
  • Software Defined Vehicles に適した セキュリティ方針の選択に関する実践と知見
    ○安齋 潤(パナソニックオートモーティブシステムズ)
  • ソフトウェア規模計測の省力化に向けた分析
    ○角田 雅照(奈良先端科学技術大学院大学,近畿大学),松本 健一(奈良先端科学技術大学院大学),大岩 佐和子,押野 智樹(経済調査会)
  • Organizational Template Conformance Analysis for Early Prediction of Project Failure Risk
    ○Jiahao Zhang,Yuhao Wu,Yasufumi Suzuki(日立製作所)
2F 太平 【テスト・分析(研究論文:ショートペーパー)1件25分(発表15分,質疑10分)】
  • Webエージェントを用いた探索的テストの自律化:テスト設計・実行・合否判定のケーススタディ
    ○但馬 将貴,切貫 弘之,若林 慧(NTT)
  • 性能脆弱性を意図的に埋め込んだWebアプリケーションを用いた負荷テスト学習環境の試作
    ○中島 絃貴,蜂巣 吉成(南山大学)
  • Fault-proneモジュール判別における外れ値除去手法のNASAデータを用いた再評価
    ○戸田 航史(福岡工業大学),角田 雅照(近畿大学)
  • ルールベースによる入力削減とMLLMオラクルを組み合わせたNCFバグ検出手法の提案
    ○松上 絢亮,岸 知二(早稲田大学)
10:00 -- 10:20休憩
10:20 -- 11:401F 泰山 【基調講演】
  • 再利用可能な開発経験の再利用と活用を目指して
    小林 隆志 (東京科学大学)
11:40 -- 12:40昼食
12:40 -- 13:551F 泰山 【LLM・プログラミング(研究論文:フルペーパー)1件25分(発表15分,質疑10分)】
  • LLMエージェントが修正を試みたバグ報告Issueにおけるreopen原因の調査
    ○谷元 柊介,嶋利 一真,大平 雅雄(和歌山大学)
  • SAEを用いたLLM内部の制御構文関連の特徴量同定と介入によるコード説明への影響分析
    ○水野 晴斗,伊原 彰紀,田井 聖凪,野口 朋弥(和歌山大学)
  • コード生成タスクにおけるLLMカスケードのコスト削減効果のモデルファミリー間比較
    ○陸井 優希,佐久間 一颯,大平 雅雄(和歌山大学)
13:55 -- 14:15休憩
14:15 -- 16:151F 泰山【ライブ発表】1件5分(発表4分,質疑1分)
  1. Numba を用いた Python プログラムの 高速化に関する考察
    ○前野 頌太,佐伯 昌造,阿萬 裕久,川原 稔(愛媛大学)
  2. Sophie: オープンワールドゲームのテストに向けた自動エージェントプログラミングツール
    加藤 優作,○吉田 則裕,槇原 絵里奈,井上 克郎(立命館大学)
  3. OSSプロジェクトにおけるSBOM導入と脆弱性解消速度との関係分析
    ○森脇 佑介(立命館大学),神田 哲也(ノートルダム清心女子大学),眞鍋 雄貴(福知山公立大学),仇 実(東芝),楊 詩語,槇原 絵里奈,吉田 則裕,井上 克郎(立命館大学)
  4. 仕様先行型のLLM単体テスト生成に向けて
    ○王 淦,粂野 文洋(日本工業大学),橋浦 弘明(東京電機大学)
  5. Singleton逸脱パターンに対する LLMによるシェパーディングの試行
    ○鹿糠 秀行(日立製作所)
  6. コンテキスト分割・動的ブロック切り替えによる LLM 推論の効率化に向けて
    ○佐野 仁,篠塚 真智子(NTT)
  7. プログラミング行動履歴を用いた生成AI利用スキルのWebダッシュボードによるフィードバック手法の検討
    ○森野 佑都,国元 優作,井垣 宏(大阪工業大学)
  8. Human--AI介入方針を記述するDSLの初期設計
    ○中田 匠哉(神戸大学)
  9. 生成AIによる要求獲得の失敗分析と改善策の検討
    ○神谷 大和,稲吉 弘樹,門田 暁人(岡山大学)
  10. LLMによるDFD作成の特徴と課題 ― 人間が作成したDFDとの比較分析 ―
    ○原 雄冴,稲吉 弘樹,門田 暁人(岡山大学)
  11. 複数の観点を用いたLLMによるソフトウェア要求仕様書の作成の試み
    ○村橋 亮介,稲吉 弘樹,門田 暁人(岡山大学)
  12. コードクローン候補の提示が AIエージェントによるプログラム修正に与える影響
    ○濵 功樹(NTT)
  13. Androidアプリのプライバシーリーク解析におけるLLMの有効性と課題
    ○塚越 海斗,稲吉 弘樹,門田 暁人(岡山大学)
  14. 大規模言語モデルを用いたコード生成手法の品質比較と効率化に向けた一考察
    ○本田 澄,山本 太陽(大阪工業大学)
  15. AIを活用した情報教育研究の国別動向分析に向けて
    ○清水 翔太,槇原 絵里奈,吉田 則裕(立命館大学)
  16. Kubernetes HPA 環境下における コンテナ同居の効果と選択条件
    ○田尾 瑞紀,満田 成紀(和歌山大学)
  17. Rustの慣用的記述への修正支援に向けた予備調査
    ○鈴置 大地,丸山 一貴(明星大学)
  18. 生成AIを用いた多様なコードレビュー問題の生成と品質評価
    ○中川 英哉,満田 成紀(和歌山大学)
16:15 -- 16:25休憩
16:25 -- 17:551F 泰山 【インタラクション】(ショートプレゼンテーション)1件5分(発表4分,質疑1分)
  1. コーディングエージェント向けドキュメントにおける指示の記述方法と遵守率に関する調査
    ○土田陸斗,Youmei Fan(奈良先端科学技術大学院大学),嶋利 一真(和歌山大学),Raula Gaikovina Kula(大阪大学),松本 健一(奈良先端科学技術大学院大学)
  2. LLMを用いたIssue書き換えがストーリーポイント見積りモデルの性能に及ぼす影響について
    ○天㟢 聡介(南山大),阿萬 裕久(愛媛大),横川 智教(岡山県立大)
  3. Web UIテストに基づく操作量の継続的トラッキングと進化分析
    ○牧野 雄希,小形 真平(信州大学),柏 祐太郎(奈良先端科学技術大学院大学),谷沢 智史(株式会社ボイスリサーチ),岡野 浩三(信州大学)
  4. 自己適応システムにおける実行時のモデル変更に対応したパラメトリック確率的モデル検査ツールキット
    ○飯田 隆一,大石 慶一朗,中川 博之(岡山大学)
  5. 例外的なプロセスを考慮した解釈可能なNext Activity Prediction手法
    ○渡部 尚憲 ,大石 慶一朗,中川 博之(岡山大学)
  6. Multi-Agent Debateによる多角的な要求競合調整
    ○田中 大椰,大石 慶一朗,本位田 真一, 中川 博之(岡山大学)
  7. 画面構造に着目したクラス図学習支援ツールの試作
    ○後藤 寛登,小形 真平(信州大学),大西 淳,槇原 絵里奈(立命館大学),岡野 浩三(信州大学)
  8. 性格特性に基づくユーザモデルに応じたシステムモデルの自動適応に向けて
    ○伊藤 麻香,小形 真平(信州大学),中川 博之(岡山大学),岡野 浩三(信州大学)
  9. 概念モデリング教育支援に向けたオブジェクト抽出過程の記録ツールの試作
    ○瀧澤 玲弥,小形 真平(信州大学),槇原 絵里奈(立命館大学),岡野 浩三(信州大学)
2F 太平 【インタラクション】(ポスター)
  1. ソフトウェアカーボンフットプリントを起点としたソフトウェアサプライチェーン来歴モデルの一般化の検討
    〇岩塚 卓弥,濵 功樹(NTT)
  2. 開発時の“Why”をどう残す? AI-native開発を見据えた開発意図構築手法の提案
    〇秋信 有花,倉林 利行(NTT)
  3. WebエージェントによるE2Eテスト自動実行の効率化余地と再現性に関する分析
    〇梶浦 照乃,但馬 将貴(NTT)
  4. Coding Agentの検証ハーネス強度が実装品質と実装時間のトレードオフに与える影響
    〇佐藤 美唯,切貫 弘之(NTT)
  5. ソフトウェアサプライチェーンセキュリティはインテグリティだけでOK?
    〇山口 大輔,岩塚 卓弥,千田 忠賢(NTT),寺内 多智弘,斎藤 忍(早稲田大学)
  6. LLMを用いたExample-Based Testingからの性質抽出に関する予備的評価
    〇田中 英武(奈良先端科学技術大学院大学),嶋利 一真(和歌山大学),松本 健一(奈良先端科学技術大学院大学)
  7. Agent Context File の指示遵守に関する自動評価基盤の構築に向けて
    〇山本 遼太郎,柏 祐太郎(NAIST),Mohammed Sayagh (ÉTS Montréal) ,飯田 元(NAIST)
  8. LLMを用いたSilent Horrorsの大規模実態調査にむけて
    〇大沼奏太,柏 祐太郎,飯田 元(NAIST)
  9. AIエージェントの企業導入における運用と統制:RPAの教訓からDevOps・MLOpsの拡張を考える
    〇太田 満久(Ubie 株式会社),杉山 阿聖(株式会社Citadel AI),久井 裕貴
  10. テスト品質指標が自動プログラム修正エージェントの修正精度に与える影響の調査
    〇大野 亮祐,柏 祐太郎,飯田 元(NAIST)
  11. メソッドの配置順序がLLMのコード理解に与える影響の調査
    〇大田 啓人,柏 祐太郎,飯田 元(NAIST)
  12. 自動プログラム修正におけるPlausibleパッチとCorrectパッチの差異に関する一考察
    〇三澤 晴輝, 高田 眞吾(慶應義塾大学)
  13. 行単位の実行トレースに基づくLLMを用いたFault Localization
    〇櫻 崇史,曾我 遼,鹿糠 秀行(日立製作所),嶋利 一真(和歌山大学),石尾 隆(公立はこだて未来大学)
  14. Unreal Engine 5 Blueprintのゲームスクリプトを対象とした自動検証ツールの開発
    〇茅野 立,田中 翔大,横川 智教(岡山県立大学),天嵜 聡介(南山大学),阿萬 裕久(愛媛大学)
  15. モデル検査ツールnuXmvによるゲームシナリオの到達可能性検証
    〇野瀬 冬馬,横川 智教(岡山県立大学),天嵜 聡介(南山大学),阿萬 裕久(愛媛大学)
  16. 理解度と達成経験に基づくレディネス形成支援コースウェアの設計
    〇石澤 咲人 , 山川 広人(公立千歳科学技術大学大学院)
  17. 実行トレースに基づくプログラム特性識別手法の実装と評価
    〇瀬下美華,福田浩章(芝浦工業大学)
  18. 目標を提示しないLLMプログラム変異と型付きAST変異の比較:候補供給の偏りと個体群での性能推移
    〇天野 悠(株式会社Insight Edge)
  19. 行レベル脆弱性検知におけるCWE別Mixture of Expertsの有効性評価
    〇山﨑 和真(奈良先端科学技術大学院大学),嶋利 一真(和歌山大学),松本 健一(奈良先端科学技術大学院大学)
  20. LLMエージェントによるライブラリ更新作業における移行ガイドの有効性評価
    〇門埜 孝拓,山﨑 和真(奈良先端科学技術大学院大学),嶋利 一真(和歌山大学),神田 哲也(ノートルダム清心女子大学),松本 健一(奈良先端科学技術大学院大学)
  21. 既存コード理解における生成AI利用後の理解定着と対話パターンの調査
    〇眞鍋 和奏,西浦 生成,水野 修(京都工芸繊維大学)
  22. ファンタジーRPGのモンスターによるモジュールリスク可視化の試み
    水谷 凌大,谷口 大介,○角田 雅照,中才 恵太朗 (近畿大学)
  23. GitHubリポジトリから開発プロセスを推定する手法の検討
    〇近藤 潤之介,西浦 生成,水野 修(京都工芸繊維大学)
  24. 画像データを対象とした機械学習分類器のブラックボックステスト
    〇村松健汰(信州大学),北村崇師(産総研),天嵜聡介(南山大学),小形真平,岡野浩三(信州大学)
  25. 学生のセルフレビューとAIレビューを組み合わせたプログラミング演習のためのコードレビュー手法の検討
    〇中江 優斗,田中 聖悟,井垣 宏(大阪工業大学)
  26. 大規模言語モデルによる開発作業の完了判定能力の評価
    〇吉本涼茜(奈良先端大),ダニエル・フェイトーサ (フローニンゲン大学),柏祐太郎,飯田元(奈良先端大)
  27. LLMマルチエージェントによる欠陥箇所特定
    〇佐伯 晃央(奈良先端科学技術大学院大学),モハメド サヤー(ETS Montreal, University of Quebec),柏 祐太郎(奈良先端科学技術大学院大学),チャイヨン ラックキッタウェートサグン(Chulalongkorn University),飯田 元(奈良先端科学技術大学院大学)
  28. 学生主体の反復的ソフトウェア開発におけるモデル図作成工程の役割の再検討
    〇平川俊介, 山川広人(公立千歳科学技術大学)
  29. グラフ構造とトピック類似度によるAI利用文献分析システム
    〇槇原絵里奈,清水翔太,吉田則裕(立命館大学)
  30. 開発者が特定した不具合混入コミットに基づくJIT欠陥予測の評価
    〇近藤 偉成(大阪大学),近藤 将成(九州大学),Olivier Nourry(大阪大学),亀井 靖高(九州大学),肥後 芳樹(大阪大学)
  31. 表形式データの敵対的標本の定義と敵対的攻撃アルゴリズム Incremental PGD(iPGD)に関する考察
    〇小林明生(信州大学),北村崇師(産業技術総合研究所), 小形真平, 岡野浩三(信州大学)

プログラム(3日目, 11/14)

時間帯場 所セッション
9:00 -- 10:001F 泰山 【要求・形式検証(研究論文:ショートペーパー)1件25分(発表15分,質疑10分)】
  • 全自動Black Box Checkingに向けた自然言語要件に基づく振る舞いモデル学習
    ○切貫 弘之,若林 慧(NTT)
  • 抽出根拠に基づく検証を用いたLLMによるUMLクラス図の生成
    磯島 直輝,岸 知二(早稲田大学)
  • 機械学習アシストによる分割FBモデル検査手法のコスト面からの考察
    ○岸 知二(早稲田大学)
  • 大規模言語モデルを活用した要求仕様書の品質評価
    宮川 翔海,佐伯 元司(関西国際大学),○沢田 篤史(南山大学)
2F 太平 【保守・開発(研究論文:ショートペーパー)1件25分(発表15分,質疑10分)】
  • Java プログラムにおいて変数名に使われる英単語及び略語の傾向に関する定量的分析
    ○玉井 愛菜,佐伯 昌造,阿萬 裕久,川原 稔(愛媛大学)
  • 利用ライブラリのバージョン移行時ビルドエラーの初期分析とエラー解消プラグインシステムの試作
    ○桑原 寛明(南山大学),渥美 紀寿(京都大学)
  • コミット自動分類に基づく形式検証プロジェクトの開発プロセス分析
    ○井上 蒼士,西浦 生成,水野 修(京都工芸繊維大学)
  • ソースコードのみからの意図仕様推論に基づくバグ位置特定
    ○二見 拓輝,田原 康之,清 雄一(電気通信大学)
10:00 -- 10:15休憩
10:15 -- 11:051F 泰山 【動的解析・デバッグ(研究論文:フルペーパー)1件25分(発表15分,質疑10分)】
  • オープンワールドゲームにおける予測モデルを用いたファジング結果の予測手法
    ○山口 裕世,加藤 優作,吉田 則裕,槇原 絵里奈,井上 克郎(立命館大学)
  • 準全知デバッグのトレース収集におけるストレージ容量の利用効率の改善
    ○清水 寛太,石尾 隆(公立はこだて未来大学)
11:05 -- 11:15休憩
11:15 -- 11:451F 泰山クロージング