TY  - Journal of Beijing University of Posts and Telecommunications
A1  - LI Feng, HUANG Jun-fei, GONG Yun-zhan
T1  - Equivalent Transformation of Non-Elementary Arithmetics in Automatic Test Input Generation
Y1  - 2015-07-03 00:00:00.0
JF  - Journal of Beijing University of Posts and Telecommunications
JO  - Journal of Beijing University of Posts and Telecommunications
SP  - 65
EP  - 69
VL  - 38
IS  - 4
UR  - {https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2015.04.014}
N1  - 10.13190/j.jbupt.2015.04.014
ER  -