Our paper “PS3: Precise Patch Presence Test based on Semantic Symbolic Signature” has been accepted by ICSE 2024.