Heqing HUANG

Prof. Heqing HUANG, 黃河清

  • YEUNG-Y6429

Accepting PhD Students

Calculated based on number of publications stored in Pure and citations from Scopus
20172025

Research activity per year

  • 11 RGC 32 - Refereed conference paper (with host publication)
  • 4 RGC 21 - Publication in refereed journal

Search results

  • 2025

    How far are app secrets from being stolen? a case study on android

    Wei, L., Huang, H., Cheung, S.-C. & Li, K., May 2025, In: Empirical Software Engineering. 30, 3, 90.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

  • 2024

    Balance Seed Scheduling via Monte Carlo Planning

    Huang, H., Chiu, H.-C., Shi, Q., Yao, P. & Zhang, C., May 2024, In: IEEE Transactions on Dependable and Secure Computing. 21, 3, p. 1469-1483

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    2 Citations (Scopus)

  • Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference

    Huang, H., Zhou, A., Payer, M. & Zhang, C., 2024, Proceedings - 45th IEEE Symposium on Security and Privacy: SP 2024. IEEE, p. 1956-1973 (Proceedings of the IEEE Symposium on Security and Privacy).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    2 Citations (Scopus)

  • GIANTSAN: Efficient Memory Sanitization with Segment Folding

    Ling, H., Huang, H., Wang, C., Cai, Y. & Zhang, C., 2024, ASPLOS '24 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. New York, NY: Association for Computing Machinery, Vol. 2. p. 433–449 16 p.

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    4 Citations (Scopus)

  • Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

    Ye, C., Cai, Y., Zhou, A., Huang, H., Ling, H. & Zhang, C., Apr 2024, ASPLOS '24 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. New York, NY: Association for Computing Machinery, Vol. 4. p. 170-187 18 p.

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

  • Mole: Efficient Crash Reproduction in Android Applications with Enforcing Necessary UI Events

    Masoudian, M., Huang, H., Amini, M. & Zhang, C., Aug 2024, In: IEEE Transactions on Software Engineering. 50, 8, p. 2200-2218

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

  • Plankton: Reconciling Binary Code and Debug Information

    Zhou, A., Ye, C., Huang, H., Cai, Y. & Zhang, C., 2024, ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. Association for Computing Machinery, p. 912–928

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    3 Citations (Scopus)

  • Titan: Efficient Multi-target Directed Greybox Fuzzing

    Huang, H., Yao, P., Chiu, H.-C., Guo, Y. & Zhang, C., May 2024, Proceedings - 45th IEEE Symposium on Security and Privacy (SP 2024). IEEE

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Open Access
  • 2022

    BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

    Huang, H., Guo, Y., Shi, Q., Yao, P., Wu, R. & Zhang, C., 2022, Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022. IEEE, p. 36-50 (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Open Access
    88 Citations (Scopus)
  • 2021

    Fuzzing SMT solvers via two-dimensional input space exploration

    Yao, P., Huang, H., Tang, W., Shi, Q., Wu, R. & Zhang, C., 2021, ISSTA ’21 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery, p. 322-335 3464803. (ISSTA - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    14 Citations (Scopus)

  • Program analysis via efficient symbolic abstraction

    Yao, P., Shi, Q., Huang, H. & Zhang, C., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 118.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Open Access
    File
    10 Citations (Scopus)
    10 Downloads (CityUHK Scholars)

  • Skeletal approximation enumeration for SMT solver testing

    Yao, P., Huang, H., Tang, W., Shi, Q., Wu, R. & Zhang, C., Aug 2021, ESEC/FSE 2021 : Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, p. 1141-1153

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    14 Citations (Scopus)
  • 2020

    Fast bit-vector satisfiability

    Yao, P., Shi, Q., Huang, H. & Zhang, C., Jul 2020, ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery, p. 38-50

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    11 Citations (Scopus)

  • Pangolin: Incremental hybrid fuzzing with polyhedral path abstraction

    Huang, H., Yao, P., Wu, R., Shi, Q. & Zhang, C., 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. IEEE, p. 1613-1627 (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Open Access
    79 Citations (Scopus)
  • 2017

    A whole-process WiFi security perception software system

    Huang, H., Hu, Y., Ja, Y. & Ao, S., 30 Aug 2017, 2017 International Conference on Circuits, System and Simulation, ICCSS 2017. IEEE, p. 151-156 8023201. (2017 International Conference on Circuits, System and Simulation, ICCSS 2017).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    6 Citations (Scopus)