
张弛
博士研究生
组内经历
2021–至今
博士研究生
论文
2025
StriCT-Bj:A String Constraint Benchmark from Real Java Programs
SANER 2025CCF BChi ZhangJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。

博士研究生
2021–至今
StriCT-Bj:A String Constraint Benchmark from Real Java Programs
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。