Tingchen Han

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Mining Algorithm

Test Case Generation

Semantic Labels

Top Venues

Publications

Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen
How to Evaluate Semantic Communications for Images with ViTScore Metric? CoRR (2023)
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE (2023)