一个基于多项式约束求解的数值程序测试用例自动生成工具

王砺磊,曾霞,林望,陈鑫,杨争峰

An Automatic Generation Tool of Test Case for Numerical Program Based on Polynomial Constraint Solving

系统科学与数学 . 2017, (7): 1704 -1721 . DOI: 10.12341/jssms13220