Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shaoran Xia
conf.researchr.org general profile
ASE 2026 profile
Not registered as user
Name:
Shaoran Xia
Country:
China
Affiliation:
Fudan University
Contributions
2026
ASE
Author of Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution within the Research Papers-track
Share
x
Thu 5 Nov 16:13