TY  - RPRT
TI  - Eliminating Unstable Tests in Floating-Point Programs
AU  - Laura Titolo
AU  - Cesar A. Muñoz
AU  - Marco A. Feliu
AU  - Mariano M. Moscato
PY  - 2018
UR  - https://arxiv.org/abs/1808.04289
ID  - 1808.04289
ER  -