Cerberus：基于多智能体推理和覆盖引导探索的运行时错误静态检测

这篇ArXiv论文介绍了 Cerberus，一种利用多智能体推理和覆盖引导探索来静态检测运行时错误的新方法。这项研究的重点是提高软件开发中静态分析技术的准确性和效率。