Program state optimal method based on variable symbolic relation analysis
Xi GUO,Pan WANG
Journal on Communications . 2018, (6): 81 -88 .  DOI: 10.11959/j.issn.1000-436x.2018094