AIがCOBOLをJavaへ移行、バグもそのままコピー
AI migrated legacy COBOL programs to Java, bugs included
レガシーCOBOLプログラムをJavaへ移行する際、テストデータ不足やコーナーケース検証の難しさが課題となる。本論文では、COBOLと生成されたJavaの両方をモックで計測し、反復的なエージェントループで入力モックを探索して分岐を網羅する「Locksmith Loop」を提案。3つのケーススタディ（オープンソース2件、社内プロダクション相当1件）で、カバレッジが入力探索の限界を超え、オープンソースではほぼ完全、社内では91.90%の分岐カバレッジを達成。生成されたJavaは決定論的パリティチェックでCOBOLと一致した。
Locksmithは入力探索のプラトーを超えてカバレッジを向上させ、オープンソースの2プログラムではほぼ完全なカバレッジに達し、社内プロダクション相当のCOBOLプログラムでは91.90%の分岐カバレッジを達成した。