@article{董国良1:32, author = {[董国良1, 2, 臧洌1, 李航1, 甘露1]}, title = {一种应用于动态污点分析的路径自动生成方法}, publisher = {计算机与现代化}, year = {2017}, journal = {计算机与现代化}, volume = {0}, number = {7}, eid = {32}, pages = {32-37+41}, keywords = {动态污点分析; 路径自动生成; 约束求解; 代码覆盖率}, doi = http://www.c-a-m.org.cn/CN/10.3969/j.issn.1006-2475.2017.07.006 }