TY  - RPRT
TI  - Mathematical Execution: A Unified Approach for Testing Numerical Code
AU  - Zhoulai Fu
AU  - Zhendong Su
PY  - 2016
UR  - https://arxiv.org/abs/1610.01133
ID  - 1610.01133
ER  -