@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 }