ソフトウェア工学 - 亜美と智也のAI論文解説

8月 01 2026

0

LLMが要件からマイクロサービス設計を生成：OpenAI o3の実力と限界を検証

投稿者: ユウ

TL;DR OpenAI o3がテキスト要件のみからマイクロサービス構…

8月 01 2026

0

LLM生成のマイクロサービス分割をソースコード依存関係で検証する

投稿者: ユウ

TL;DR LLMが生成したマイクロサービス分割案は、意味的には妥当で…

7月 31 2026

0

SpecFirst：ゼロからのプログラム構築に「仕様引き出し」フェーズを導入する手法

投稿者: ユウ

TL;DR LLMエージェントがゼロからプログラムを再実装する際、既存…

7月 28 2026

0

XAIがコードレビューの信頼に与える影響：34名のユーザー実験から

投稿者: ユウ

TL;DR LLMによるコードレビューに説明（XAI）を追加すると、開…

7月 27 2026

0

LLMコード生成の信頼性を高めるテスト品質マイニングと二部グラフ相互検証

投稿者: ユウ

TL;DR MineValiCoderは、LLMが生成したテストケース…

7月 20 2026

0

コード変更の差分を暴くLLMテスト生成手法DiffTestGen

投稿者: ユウ

TL;DR DiffTestGenは、プルリクエストで変更されたコード…

7月 20 2026

0

LLMで論文からMaxSATソルバを構築——CoreForgeの実践と教訓

投稿者: ユウ

TL;DR CoreForgeは、LLM（ChatGPT＋Codex）…

7月 18 2026

0

LLMで自動変換：自動車開発のモデリングツール間の相互運用性を実現

投稿者: ユウ

TL;DR 本論文は、自動車開発で使われる異種モデリングツール間の相互…

7月 17 2026

0

画像付きIssueからコード位置を特定するベンチマーク「MM-IssueLoc」の紹介

投稿者: ユウ

TL;DR MM-IssueLocは、Issueに添付されたスクリーン…

7月 15 2026

0

歴史的バグを合成バグに変換しLLM単体テスト生成を強化するKITE

投稿者: ユウ

TL;DR KITEは、過去の実バグ記録からバグメカニズムを抽出し、対…