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 pruning 2022 IEEE Symposium on Security and Privacy (SP), 36-50, 2022
2-) Pangolin: Incremental hybrid fuzzing with polyhedral path abstraction 2020 IEEE Symposium on Security and Privacy (SP), 1613-1627, 2020
3-) Fuzzing SMT solvers via two-dimensional input space exploration Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
4-) Skeletal approximation enumeration for smt solver testing Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
5-) Program analysis via efficient symbolic abstraction Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021