TY  - RPRT
TI  - Automatic generation and verification of test-stable floating-point code
AU  - Laura Titolo
AU  - Mariano Moscato
AU  - Cesar A. Muñoz
PY  - 2020
UR  - https://arxiv.org/abs/2001.02981
ID  - 2001.02981
ER  -