@article{宫云战:65,
author = {[宫云战, 黄俊飞, 李峰]},
title = {自动测试用例生成中非四则运算的等价变换方法},
publisher = {北京邮电大学学报},
year = {2015},
journal = {北京邮电大学学报},
volume = {38},
number = {4},
eid = {65},
pages = {65-69},
keywords = {<p>测试用例生成;非四则运算;区间运算;等价变换</p>},
doi = https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2015.04.014
}