Mathematical execution: a unified approach for testing numerical code

Z Fu, Z Su - arXiv preprint arXiv:1610.01133, 2016 - arxiv.org
This paper presents Mathematical Execution (ME), a new, unified approach for testing
numerical code. The key idea is to (1) capture the desired testing objective via a …
被引用次数：6 相关文章

Mathematical Execution: A Unified Approach for Testing Numerical Code

Z Fu, Z Su - arXiv e-prints, 2016 - ui.adsabs.harvard.edu
Abstract This paper presents Mathematical Execution (ME), a new, unified approach for
testing numerical code. The key idea is to (1) capture the desired testing objective via a …