@article{聂楚江_1110, author = {[聂楚江, 刘海峰, 苏璞睿, 冯登国]}, title = {一种面向程序动态分析的循环摘要生成方法}, publisher = {电子学报}, year = {2014}, journal = {电子学报}, volume = {42}, number = {6}, eid = {1110}, pages = {1110-1117}, keywords = {

循环;软件测试;漏洞分析;符号计算

}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2014.06.012 }