Weidi Sun

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Mutation Testing

Feedforward Neural Networks

Unsupervised Learning

Learning Systems

Top Venues

J. Syst. Archit.

Publications

Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun, Meng Sun
Mutation testing of unsupervised learning systems. J. Syst. Archit. 146 (2024)
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao, Meng Sun
HashC: Making deep learning coverage testing finer and faster. J. Syst. Archit. 144 (2023)
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. SETTA (2023)
Yuteng Lu, Weidi Sun, Meng Sun
Towards mutation testing of Reinforcement Learning systems. J. Syst. Archit. 131 (2022)
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun
HashC: Making DNNs' Coverage Testing Finer and Faster. SETTA (2022)
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems. DSA (2022)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A framework for global robustness verification of feedforward neural networks. J. Syst. Archit. 128 (2022)
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
MTUL: Towards Mutation Testing of Unsupervised Learning Systems. SETTA (2022)
Yuteng Lu, Weidi Sun, Meng Sun
Mutation Testing of Reinforcement Learning Systems. SETTA (2021)
Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). SEKE (2021)
Weidi Sun, Yuteng Lu, Meng Sun
Are Coverage Criteria Meaningful Metrics for DNNs? IJCNN (2021)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA (2021)
Yi Li, Weidi Sun, Meng Sun
: A component-based modeling language for concurrent and distributed systems. Sci. Comput. Program. 192 (2020)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
Global Robustness Verification Networks. CoRR (2020)
Weidi Sun, Meng Sun
PRISM Code Generation for Verification of Mediator Models (S). SEKE (2019)