Jie Su -

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