@misc{indiciae1707f2294cd9,
  title = {Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers},
  author = {Rosa Abbasi and Eva Darulova},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19735},
  note = {Source identifier: 2609.19735}
}