Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Junda Zheng
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Fri 23 May 2025
Name:
Junda Zheng
Contributions
2025
Static Analysis Symposium
Author of Bounded-Exhaustive Subspace Diversification for SMT Solver Testing within the SAS 2025-track
Share
x
Mon 27 Oct 19:14