Weidi Sun

According to our database, Weidi Sun authored at least 15 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mutation testing of unsupervised learning systems.

Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun, Meng Sun

J. Syst. Archit., January, 2024

2023

HashC: Making deep learning coverage testing finer and faster.

Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao, Meng Sun

J. Syst. Archit., November, 2023

HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.

Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

DeepGlobal: A framework for global robustness verification of feedforward neural networks.

Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun

J. Syst. Archit., 2022

Towards mutation testing of Reinforcement Learning systems.

Yuteng Lu, Weidi Sun, Meng Sun

J. Syst. Archit., 2022

HashC: Making DNNs' Coverage Testing Finer and Faster.

Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

MTUL: Towards Mutation Testing of Unsupervised Learning Systems.

Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems.

Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

DeepGlobal: A Global Robustness Verifiable FNN Framework.

Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Mutation Testing of Reinforcement Learning Systems.

Yuteng Lu, Weidi Sun, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).

Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Are Coverage Criteria Meaningful Metrics for DNNs?

Weidi Sun, Yuteng Lu, Meng Sun

Proceedings of the International Joint Conference on Neural Networks, 2021

2020

<i>Mediator</i>: A component-based modeling language for concurrent and distributed systems.

Yi Li, Weidi Sun, Meng Sun

Sci. Comput. Program., 2020

Global Robustness Verification Networks.

Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun

CoRR, 2020

2019

PRISM Code Generation for Verification of Mediator Models (S).

Weidi Sun, Meng Sun

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019