Prof. HUANG Heqing (黃河清)

?
Filters
Filters

Reset

to
1 - 15 out of 15Page size: 20

Research Output

  1. 2025
  2. Published

    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

    Check@CityULib
  3. 2024
  4. Published

    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

    Check@CityULib

  5. 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

    Scopus citations: 2
    Check@CityULib

  6. 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). Institute of Electrical and Electronics Engineers, Inc.

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

    Check@CityULib
  7. Published

    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. Institute of Electrical and Electronics Engineers, Inc., 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

    Scopus citations: 1
    Check@CityULib
  8. Published

    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

    Scopus citations: 4
    Check@CityULib
  9. Published

    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., 2024. 18 p.

    Research output: Conference Papers › RGC 32 - Refereed conference paper (without host publication) › peer-review

    Check@CityULib
  10. Published

    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

    Scopus citations: 3
    Check@CityULib
  11. 2022

  12. 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. Institute of Electrical and Electronics Engineers, Inc., 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

    Scopus citations: 84
    Check@CityULib
  13. 2021

  14. 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

    Scopus citations: 10
    Check@CityULib

  15. 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

    Scopus citations: 14
    Check@CityULib

  16. 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

    Scopus citations: 14
    Check@CityULib
  17. 2020

  18. 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

    Scopus citations: 11
    Check@CityULib

  19. 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. Institute of Electrical and Electronics Engineers, Inc., 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

    Scopus citations: 77
    Check@CityULib
  20. 2017

  21. 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. Institute of Electrical and Electronics Engineers, Inc., 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

    Scopus citations: 6
    Check@CityULib