Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhenhua Duan
conf.researchr.org general profile
ASE 2022 profile
ESEC/FSE 2021 profile
Not registered as user
Name:
Zhenhua Duan
Country:
China
Affiliation:
Xidian University
Contributions
2022
ASE
Author of Prioritized Constraint-Aided Dynamic Partial-Order Reduction within the Research Papers-track
2021
ESEC/FSE
Author of Conditional Interpolation: Making Concurrent Program Verification More Effective within the Research Papers-track
Share
x
Wed 18 Dec 22:56