TY  - RPRT
TI  - cozy: Comparative Symbolic Execution for Binary Programs
AU  - Caleb Helbling
AU  - Graham Leach-Krouse
AU  - Sam Lasser
AU  - Greg Sullivan
PY  - 2025
DO  - 10.14722/bar.2025.23004
UR  - https://arxiv.org/abs/2504.00151
ID  - 2504.00151
ER  -