Applying Symbolic Execution to Semantic Code Clone Detection (S). - Kazusa Takemoto; Shingo Takada 001 (SEKE, 2023)