Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jie Su
conf.researchr.org general profile
ASE 2022 profile
ESEC/FSE 2021 profile
Registered user since Tue 8 Jun 2021
Name:
Jie Su
Country:
China
Affiliation:
Xidian University
Research interests:
Formal Methods, Model Checking
Contributions
ASE 2022
Author of Prioritized Constraint-Aided Dynamic Partial-Order Reduction within the Research Papers-track
ESEC/FSE 2021
Author of Conditional Interpolation: Making Concurrent Program Verification More Effective within the Research Papers-track
Share
x
Mon 27 Mar 11:32