Not registered as user
Name:Hai Jin
Country:China
Affiliation:Huazhong University of Science and Technology
Contributions
2023
ICSE
- Enhancing Deep Learning-based Vulnerability Detection by Building Behavior Graph Model
- Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Input
- Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
- Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs
- Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis
- Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem
- Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
- Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem
ICSE 2023-profile
View general profile
View general profile