Yuteng Lu

Publication Activity (10 Years)

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

Top Topics

Unsupervised Learning

Feedforward Neural Networks

Learning Systems

Mutation Testing

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)
Yi-Chun Feng, Yuteng Lu, Meng Sun
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). SEKE (2021)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA (2021)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
Global Robustness Verification Networks. CoRR (2020)
Qi Zhang, Yuteng Lu, Meng Sun
Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL. BlockSys (2020)
Yuteng Lu, Meng Sun
Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things. Int. J. Softw. Eng. Knowl. Eng. 28 (11-12) (2018)
Yuteng Lu, Meng Sun
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. SEKE (2018)