Yuteng Lu

18 papers B 1C 4Misc 5Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 C conf
Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.
QRS
Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun
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 C conf
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).
SEKE
Yi-Chun Feng, Yuteng Lu, 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
2020 — conf
Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL.
BlockSys
Qi Zhang, Yuteng Lu, Meng Sun
2018 C conf
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things.
SEKE
Yuteng Lu, Meng Sun
2018 J jnl
Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.
Int. J. Softw. Eng. Knowl. Eng.
Yuteng Lu, Meng Sun