TY  - RPRT
TI  - Cerberus: Multi-Agent Reasoning and Coverage-Guided Exploration for Static Detection of Runtime Errors
AU  - Hridya Dhulipala
AU  - Xiaokai Rong
AU  - Tien N. Nguyen
PY  - 2025
UR  - https://arxiv.org/abs/2512.21431
ID  - 2512.21431
ER  -