TY  - RPRT
TI  - Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
AU  - Rosa Abbasi
AU  - Eva Darulova
PY  - 2026
UR  - https://arxiv.org/abs/2609.19735
ID  - 2609.19735
ER  -