Maolin Sun

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Constraint Solving

Top Venues

IEEE Trans. Software Eng.

Publications

Maolin Sun, Kuiwen Xu, Yang Yang, Shichang Chen, Tao Wang, Dingwang Yu, Xianbin Yu, Gaofeng Wang
Folded Transmitarray Antenna via Independent Amplitude/Phase Control With Low Side-Lobe for Millimeter-Wave Communication. IEEE Trans. Circuits Syst. II Express Briefs 71 (4) (2024)
Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou
Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving". IEEE Trans. Software Eng. 50 (1) (2024)
Yibiao Yang, Maolin Sun, Yang Wang, Qingyang Li, Ming Wen, Yuming Zhou
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support. ESEC/SIGSOFT FSE (2023)
Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou
Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving. IEEE Trans. Software Eng. 49 (11) (2023)
Maolin Sun, Yibiao Yang, Yang Wang, Ming Wen, Haoxiang Jia, Yuming Zhou
SMT Solver Validation Empowered by Large Pre-Trained Language Models. ASE (2023)
Haoxiang Jia, Ming Wen, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, Hai Jin
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces. ICSE (2023)
Maolin Sun, Yibiao Yang, Ming Wen, Yongcong Wang, Yuming Zhou, Hai Jin
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs. ICSE (2023)
Jing Yang, Yibiao Yang, Maolin Sun, Ming Wen, Yuming Zhou, Hai Jin
Isolating Compiler Optimization Faults via Differentiating Finer-grained Options. SANER (2022)
Maolin Sun, Jinxiang Zhou, Baotian Dong, Shiqiang Zheng, Tong Wen
Nutation Mode Suppression of Magnetically Levitated Turbo-Rotor via Damping Optimization. IEEE Trans. Ind. Electron. 68 (12) (2021)
Jinlei Li, Gang Liu, Shiqiang Zheng, Maolin Sun, Yifan Liu, Haitao Li, Xue Han
Multi-Harmonic Adaptive Notch Filter based on Double Input. IECON (2019)
Xi Chen, Haitao Li, Maolin Sun, Gang Liu
Sensorless Commutation Error Compensation of High Speed Brushless DC Motor Based on RBF Neural Network Method. IECON (2018)