PS3: Precise Patch Presence Test based on Semantic Symbolic Signature

Qi Zhan, Xing Hu 0008, Zhiyang Li, Xin Xia 0001, David Lo 0001, Shanping Li. PS3: Precise Patch Presence Test based on Semantic Symbolic Signature. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]

Abstract

Abstract is missing.