Weidi Sun

14 papers B 1C 2Misc 5Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Mutation testing of unsupervised learning systems.
J. Syst. Archit.
Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun, Meng Sun
2023 J jnl
HashC: Making deep learning coverage testing finer and faster.
J. Syst. Archit.
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao, Meng Sun
2023 Misc conf
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.
SETTA
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
2022 J jnl
DeepGlobal: A framework for global robustness verification of feedforward neural networks.
J. Syst. Archit.
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
2022 Misc conf
HashC: Making DNNs' Coverage Testing Finer and Faster.
SETTA
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun
2022 Misc conf
MTUL: Towards Mutation Testing of Unsupervised Learning Systems.
SETTA
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
2022 — conf
RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems.
DSA
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
2022 J jnl
Towards mutation testing of Reinforcement Learning systems.
J. Syst. Archit.
Yuteng Lu, Weidi Sun, Meng Sun
2021 B conf
Are Coverage Criteria Meaningful Metrics for DNNs?
IJCNN
Weidi Sun, Yuteng Lu, Meng Sun
2021 C conf
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).
SEKE
Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun
2021 Misc conf
DeepGlobal: A Global Robustness Verifiable FNN Framework.
SETTA
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
2021 Misc conf
Mutation Testing of Reinforcement Learning Systems.
SETTA
Yuteng Lu, Weidi Sun, Meng Sun
2020 J jnl
Global Robustness Verification Networks.
CoRR
Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
2019 C conf
PRISM Code Generation for Verification of Mediator Models (S).
SEKE
Weidi Sun, Meng Sun