| SMT Solver Validation Empowered by Large Pre-trained Language Models M Sun, Y Yang, Y Wang, M Wen, H Jia, Y Zhou | 7 | 2023 |
| Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces H Jia, M Wen, Z Xie, X Guo, R Wu, M Sun, K Chen, H Jin 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 5 | 2023 |
| Isolating compiler optimization faults via differentiating finer-grained options J Yang, Y Yang, M Sun, M Wen, Y Zhou, H Jin 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022 | 4 | 2022 |
| Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs M Sun, Y Yang, M Wen, Y Wang, Y Zhou, H Jin 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 3 | 2023 |
| Uncovering bugs in code coverage profilers via control flow constraint solving Y Wang, P Zhang, M Sun, Z Lu, Y Yang, Y Tang, J Qian, Z Li, Y Zhou IEEE Transactions on Software Engineering, 2023 | 1 | 2023 |
| Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support Y Yang, M Sun, Y Wang, Q Li, M Wen, Y Zhou Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
Ming WenAssociate Professor, Huazhong University of Science and TechnologyVerified email at hust.edu.cn
