Rongzhen Ye -

Not registered as user

Name:Rongzhen Ye

Affiliation:Sun Yat-Sen University

Contributions

2024

ICSE

Author of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking within the New Ideas and Emerging Results-track

2023

ASE

Author of SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning within the NIER Track-track
Author of PURLTL: Mining LTL Specification from Imperfect Traces in Testing within the NIER Track-track