Registered user since Sat 30 Dec 2017
Name:Ming Wen
Country:China
Affiliation:Huazhong University of Science and Technology
Personal website: https://justinwm.github.io
Research interests:Program Analysis, Software Security, Fault Localization and Program Repair
Contributions
2023
ICSE
- Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem
- Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem
- Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
- Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs
- Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
- Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Input
- Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis
- Panelist in Student Mentoring Workshop within the SMeW - Student Mentoring Workshop-track
ICSE 2023-profile
View general profile
View general profile