基于 Hensel 引理的规格化边界角浮点乘测试用例生成模型

冯春阳闫鑫杨靓黄士坦

Generating Model of Test Case for Normalized Corner Floating- Point Multiplication Based on Hensel Lemma

Feng Chun- yang Yan Xin Yang Liang Huang Shi- tan

华南理工大学学报（自然科学版） . 2014, (5): 128 -134 . DOI: 10.3969/j.issn.1000-565X.2014.05.020