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

8月 25 2026

0

バグ再現テスト生成を「分割・引き継ぎ・分離」で安定化するDPIAgent

投稿者: ユウ

TL;DR DPIAgentは、バグ再現テスト生成を「原因調査」と「テ…

8月 25 2026

0

LLM開発エージェント間で仕様書は使い回せるか？Oracle移行で検証

投稿者: ユウ

TL;DR LLMを使った仕様駆動開発では、あるエージェントで作った仕…

8月 24 2026

0

仕様書がLLMの出力を本当に決めるのか？実行判定ベンチマークで検証

投稿者: ユウ

TL;DR LLM開発エージェントが仕様書をどれだけ守るかを、実行結果…

8月 17 2026

0

LLM変換した科学計算コードの信頼性を故障注入で検証する

投稿者: ユウ

TL;DR LLMでモダナイズした科学計算ソフトウェア（GAMESS）…

8月 16 2026

0

LLMソフトの受け入れテストを自動化：要件から判定基準を生成するREAGとは

投稿者: ユウ

TL;DR LLMベースのソフトウェアは、ユーザーの状況に応じて回答が…

8月 16 2026

0

LLMによる形式仕様生成の実力を測る新評価手法COINS

投稿者: ユウ

TL;DR LLMが生成する形式仕様の品質を、テストケースへの証明可能…

8月 15 2026

0

テストだけで正式仕様を合成できるか？LLMとBMCを組み合わせた黒箱アプローチの実践評価

投稿者: ユウ

TL;DR 本論文は、ソースコードをLLMに見せずに、テストコードと実…

8月 14 2026

0

LLMによるIsabelle証明修復を契約で制御するCAPRI

投稿者: ユウ

TL;DR CAPRIは、LLMによるIsabelle証明の自動修復に…

8月 14 2026

0

LLMマルチエージェント開発の実践比較：フレームワーク選定の指針

投稿者: ユウ

TL;DR 本論文は、ソフトウェア工学におけるLLMベースのマルチエー…

8月 13 2026

0

ローカルLLMでソースコードからドメインモデルを自動抽出する手法

投稿者: ユウ

TL;DR 本論文は、プライバシー制約のある環境でも使えるよう、ローカ…