Huina Chao

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 5

Top Topics

Resolve Conflicts

Deterministic Finite Automaton

Application Scenarios

Top Venues

J. Comput. Sci. Technol.

Publications

He Su, Feng Li, Lili Xu, Wenbo Hu, Yujie Sun, Qing Sun, Huina Chao, Wei Huo
Splendor: Static Detection of Stored XSS in Modern Web Applications. ISSTA (2023)
He Su, Lili Xu, Huina Chao, Feng Li, Zimu Yuan, Jianhua Zhou, Wei Huo
A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs. ISSRE (2022)
Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li
Evaluating and Constraining Hardware Assertions with Absent Scenarios. J. Comput. Sci. Technol. 35 (5) (2020)
Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li
On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. ATS (2017)
Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li, Bo Liu
An accurate algorithm for computing mutation coverage in model checking. ITC (2016)