TY  - RPRT
TI  - Searching input values hitting suspicious Intervals in programs with floating-point operations
AU  - Hélène Collavizza
AU  - Claude Michel
AU  - Michel Rueher
PY  - 2016
UR  - https://arxiv.org/abs/1511.01080
ID  - 1511.01080
ER  -