Registered user since Sat 14 Jan 2023
Name:Maolin Sun
Country:China
Affiliation:Huazhong University of Science and Technology
Research interests:Software testing
Contributions
2023
ICSE
- 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
ICSE 2023-profile
View general profile
View general profile