Prof. HUANG Heqing (黃河清)

?
Filters
Filters

Reset

to
1 - 9 out of 9Page size: 20

Research Output

  1. 2024

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

  3. 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
  4. 2022

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

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

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

  9. 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
  10. 2020

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

  12. 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
  13. 2017

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