@misc{indiciae3c07814adf35,
  title = {Automatic generation and verification of test-stable floating-point code},
  author = {Laura Titolo and Mariano Moscato and Cesar A. Muñoz},
  year = {2020},
  url = {https://arxiv.org/abs/2001.02981},
  note = {Source identifier: 2001.02981}
}