@misc{indiciae3d59cee1611b,
  title = {Mathematical Execution: A Unified Approach for Testing Numerical Code},
  author = {Zhoulai Fu and Zhendong Su},
  year = {2016},
  url = {https://arxiv.org/abs/1610.01133},
  note = {Source identifier: 1610.01133}
}