Cerberus：ランタイムエラー静的検出のためのマルチエージェント推論とカバレッジ主導の探索

このArXiv論文は、マルチエージェント推論とカバレッジ主導の探索を使用してランタイムエラーを静的に検出する新しいアプローチであるCerberusを紹介しています。 この研究は、ソフトウェア開発における静的分析技術の精度と効率の向上に焦点を当てています。