Yuteng Lu

According to our database, Yuteng Lu authored at least 17 papers between 2018 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

Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).

Yi-Chun Feng, Yuteng Lu, 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

Global Robustness Verification Networks.

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

CoRR, 2020

Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL.

Qi Zhang, Yuteng Lu, Meng Sun

Proceedings of the Blockchain and Trustworthy Systems - Second International Conference, 2020

2018

Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.

Yuteng Lu, Meng Sun

Int. J. Softw. Eng. Knowl. Eng., 2018

Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things.

Yuteng Lu, Meng Sun

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018