• Sign in
  • Sign up
conf.researchr.org / Heqing Huang
  • ECOOP and ISSTA 2021 profile
  • ESEC/FSE 2021 profile
  • ICSA 2024 profile
  • ISSTA 2020 profile
  • SPLASH 2021 profile
Heqing Huang

Registered user since Mon 6 May 2019

Name:Heqing Huang
Country:China
Affiliation:Hong Kong University of Science and Technology
Personal website: https://5hadowblad3.github.io
Research interests:Security

Contributions

2021

SPLASH

  • Author of Program Analysis via Efficient Symbolic Abstraction within the OOPSLA-track

ESEC/FSE

  • Author of Skeletal Approximation Enumeration for SMT Solver Testing within the Research Papers-track

ISSTA

  • Author of Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration within the Technical Papers-track

2020

ISSTA

  • Author of Fast Bit-Vector Satisfiability within the Technical Papers-track
Share
xSun 26 Oct 20:57
using conf.researchr.org (v1.72.1)
Support page
Sign Up