Chi Zhang

PhD student

Group Experience

2021–Present
PhD student

Publications

2 publications

2025

StriCT-Bj:A String Constraint Benchmark from Real Java Programs
SANER 2025Chi ZhangJian Zhang
Code

2023

Detection of Java Basic Thread Misuses Based on Static Event Analysis
ASE 2023Baoquan Cui Miaomiao WangChi ZhangJiwei Yan Jun Yan Jian Zhang
Code