TY  - RPRT
TI  - Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
AU  - Zhoulai Fu
AU  - Zhendong Su
PY  - 2017
UR  - https://arxiv.org/abs/1704.03394
ID  - 1704.03394
ER  -