Semantic Comparison Model for Binary Programs Based on Statistical Reasoning

Semantic Comparison Model for Binary Programs Based on Statistical Reasoning

GUO Xi, WANG Pan

ACTA ELECTRONICA SINICA ›› 2025, Vol. 53 ›› Issue (1) : 163-181.

PDF(1733 KB)

PDF(1733 KB)

ACTA ELECTRONICA SINICA ›› 2025, Vol. 53 ›› Issue (1) : 163-181. DOI: 10.12263/DZXB.20240408

PAPERS

Semantic Comparison Model for Binary Programs Based on Statistical Reasoning

{{article.zuoZhe_EN}}

Author information +

History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

Download Citations

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2025, 53(1): 163-181. https://doi.org/10.12263/DZXB.20240408

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}

{{article.copyrightLicense_en}}

PDF(1733 KB)

Accesses

Citation

Detail

Sections

Recommended

/

〈

〉