news

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