Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. - Yuteng Lu; Meng Sun 002 (SEKE, 2018)

Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things. - Yuteng Lu; Meng Sun 002 (Int. J. Softw. Eng. Knowl. Eng., 2018)

Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL. - Qi Zhang; Yuteng Lu; Meng Sun 002 (BlockSys, 2020)

Global Robustness Verification Networks. - Weidi Sun; Yuteng Lu; Xiyue Zhang 001; Zhanxing Zhu; Meng Sun 002 (CoRR, 2020)

Are Coverage Criteria Meaningful Metrics for DNNs? - Weidi Sun; Yuteng Lu; Meng Sun 002 (IJCNN, 2021)

Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). - Yi-Chun Feng; Yuteng Lu; Meng Sun 002 (SEKE, 2021)

DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). - Yuteng Lu; Weidi Sun; Guangdong Bai; Meng Sun 002 (SEKE, 2021)

Mutation Testing of Reinforcement Learning Systems. - Yuteng Lu; Weidi Sun; Meng Sun 002 (SETTA, 2021)

DeepGlobal: A Global Robustness Verifiable FNN Framework. - Weidi Sun; Yuteng Lu; Xiyue Zhang 001; Meng Sun 002 (SETTA, 2021)

RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems. - Yuteng Lu; Kaicheng Shao; Weidi Sun; Meng Sun 002 (DSA, 2022)

MTUL: Towards Mutation Testing of Unsupervised Learning Systems. - Yuteng Lu; Kaicheng Shao; Weidi Sun; Meng Sun 002 (SETTA, 2022)

HashC: Making DNNs' Coverage Testing Finer and Faster. - Weidi Sun; Xiaoyong Xue; Yuteng Lu; Meng Sun 002 (SETTA, 2022)

Towards mutation testing of Reinforcement Learning systems. - Yuteng Lu; Weidi Sun; Meng Sun 002 (J. Syst. Archit., 2022)

DeepGlobal: A framework for global robustness verification of feedforward neural networks. - Weidi Sun; Yuteng Lu; Xiyue Zhang 001; Meng Sun 002 (J. Syst. Archit., 2022)

HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. - Weidi Sun; Yuteng Lu; Xiaokun Luan; Meng Sun 002 (SETTA, 2023)

HashC: Making deep learning coverage testing finer and faster. - Weidi Sun; Xiaoyong Xue; Yuteng Lu; Jia Zhao; Meng Sun 002 (J. Syst. Archit., 2023)

Mutation testing of unsupervised learning systems. - Yuteng Lu; Kaicheng Shao; Jia Zhao; Weidi Sun; Meng Sun 002 (J. Syst. Archit., 2024)