conf.researchr.org / Yibiao Yang
Registered user since Mon 17 Dec 2018
Name:Yibiao Yang
Country:China
Affiliation:Nanjing University
Personal website: https://yangyibiao.github.io
Research interests:Software Engineering
Contributions
2024
2023
ICSE
- Author of Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs within the Technical Track-track
- Author of Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Input within the Artifact Evaluation-track
- Author of Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis within the Journal-First Papers-track