@article{郭曦_2168, author = {[郭曦, 王盼]}, title = {基于动态协同双向映射的相似执行路径生成方法}, publisher = {电子学报}, year = {2014}, journal = {电子学报}, volume = {42}, number = {11}, eid = {2168}, pages = {2168-2173}, keywords = {
静态分析;控制流图;最弱前置条件;相似执行路径
}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2014.11.007 }