Heqing Huang

Heqing Huang

Hong Kong University of Science & Technology - Kowloon / Hong Kong
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210739
香港科技大學
person_outline Heqing Huang's MOST POPULAR ARTICLES
1-) Beacon: Directed grey-box fuzzing with provable path pruningH Huang, Y Guo, Q Shi, P Yao, R Wu, C Zhang2022 IEEE Symposium on Security and Privacy (SP), 36-50, 2022922022
2-) Pangolin: Incremental hybrid fuzzing with polyhedral path abstractionH Huang, P Yao, R Wu, Q Shi, C Zhang2020 IEEE Symposium on Security and Privacy (SP), 1613-1627, 2020912020
3-) Fuzzing SMT solvers via two-dimensional input space explorationP Yao, H Huang, W Tang, Q Shi, R Wu, C ZhangProceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021162021
4-) Skeletal approximation enumeration for smt solver testingP Yao, H Huang, W Tang, Q Shi, R Wu, C ZhangProceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021192021
5-) Program analysis via efficient symbolic abstractionP Yao, Q Shi, H Huang, C ZhangProceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021132021