2
Publications
40
Citations
2
H-Index
2023
Active since
Affiliations
Haoxiang Jia is an author at Huazhong University of Science and Technology specializing in software design, formal methods, and computer science.
Top concepts
FuzzingEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2023–2023
2
2
SMT Solver Validation Empowered by Large Pre-Trained Language Models
Maolin Sun, Yibiao Yang, Yang Wang et al. · 2023 · 22 citations
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
Haoxiang Jia, Ming Wen, Zifan Xie et al. · 2023 · 18 citations
Rows per page
1–2 of 2