An accurate algorithm for computing mutation coverage in model checking. - Huina Chao; Huawei Li 001; Tiancheng Wang; Xiaowei Li 001; Bo Liu 018 (ITC, 2016)

On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. - Huina Chao; Huawei Li 001; Xiaoyu Song; Tiancheng Wang; Xiaowei Li 001 (ATS, 2017)

Evaluating and Constraining Hardware Assertions with Absent Scenarios. - Huina Chao; Huawei Li 001; Xiaoyu Song; Tiancheng Wang; Xiaowei Li 001 (J. Comput. Sci. Technol., 2020)

A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs. - He Su; Lili Xu; Huina Chao; Feng Li 045; Zimu Yuan; Jianhua Zhou; Wei Huo (ISSRE, 2022)

Splendor: Static Detection of Stored XSS in Modern Web Applications. - He Su; Feng Li 045; Lili Xu; Wenbo Hu; Yujie Sun; Qing Sun; Huina Chao; Wei Huo (ISSTA, 2023)