Huina Chao

According to our database, Huina Chao authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Splendor: Static Detection of Stored XSS in Modern Web Applications.

He Su, Feng Li, Lili Xu, Wenbo Hu, Yujie Sun, Qing Sun, Huina Chao, Wei Huo

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs.

He Su, Lili Xu, Huina Chao, Feng Li, Zimu Yuan, Jianhua Zhou, Wei Huo

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2020

Evaluating and Constraining Hardware Assertions with Absent Scenarios.

Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li

J. Comput. Sci. Technol., 2020

2017

On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios.

Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li

Proceedings of the 26th IEEE Asian Test Symposium, 2017

2016

An accurate algorithm for computing mutation coverage in model checking.

Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li, Bo Liu

Proceedings of the 2016 IEEE International Test Conference, 2016