E-LIB Suche - Ergebnisse für: Lu, Yuteng

1

Mutation testing of unsupervised learning systems:

Lu, Yuteng ; Shao, Kaicheng ; Zhao, Jia..
Journal of Systems Architecture. 146 (2024) - p. 103050 , 2024

Link: https://doi.org/10.1016/..

2

HashC: Making deep learning coverage testing finer and fast..:

Sun, Weidi ; Xue, Xiaoyong ; Lu, Yuteng..
Journal of Systems Architecture. 144 (2023) - p. 102999 , 2023

Link: https://doi.org/10.1016/..

3

A model for identifying glass artifacts based on SOM cluste..:

Ma, Ji ; Chen, Qian ; Li, Haoxuan...
Highlights in Science, Engineering and Technology. 62 (2023) - p. 164-173 , 2023

Link: https://doi.org/10.54097..

4

HeatC: A Variable-Grained Coverage Criterion for Deep Learn..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Sun, Weidi ; Lu, Yuteng ; Luan, Xiaokun. - p. 243-261 , 2023

Link: https://doi.org/10.1007/..

5

Towards mutation testing of Reinforcement Learning systems:

Lu, Yuteng ; Sun, Weidi ; Sun, Meng
Journal of Systems Architecture. 131 (2022) - p. 102701 , 2022

Link: https://doi.org/10.1016/..

6

RGChaser: A RL-guided Fuzz and Mutation Testing Framework f..:

, In: 2022 9th International Conference on Dependable Systems and Their Applications (DSA),

Lu, Yuteng ; Shao, Kaicheng ; Sun, Weidi. - p. 12-23 , 2022

Link: https://doi.org/10.1109/..

7

HashC: Making DNNs' Coverage Testing Finer and Faster:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Sun, Weidi ; Xue, Xiaoyong ; Lu, Yuteng. - p. 3-21 , 2022

Link: https://doi.org/10.1007/..

8

MTUL: Towards Mutation Testing of Unsupervised Learning Sys..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Lu, Yuteng ; Shao, Kaicheng ; Sun, Weidi. - p. 22-40 , 2022

Link: https://doi.org/10.1007/..

9

DeepGlobal: A framework for global robustness verification ..:

Sun, Weidi ; Lu, Yuteng ; Zhang, Xiyue.
Journal of Systems Architecture. 128 (2022) - p. 102582 , 2022

Link: https://doi.org/10.1016/..

10

Are Coverage Criteria Meaningful Metrics for DNNs?:

, In: 2021 International Joint Conference on Neural Networks (IJCNN),

Sun, Weidi ; Lu, Yuteng ; Sun, Meng - p. 1-8 , 2021

Link: https://doi.org/10.1109/..

11

DeepGlobal: A Global Robustness Verifiable FNN Framework:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Sun, Weidi ; Lu, Yuteng ; Zhang, Xiyue. - p. 22-39 , 2021

Link: https://doi.org/10.1007/..

12

Mutation Testing of Reinforcement Learning Systems:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Lu, Yuteng ; Sun, Weidi ; Sun, Meng - p. 143-160 , 2021

Link: https://doi.org/10.1007/..

13

Modeling and Verifying the CKB Blockchain Consensus Protoco:

Sun, Meng ; Lu, Yuteng ; Feng, Yichun..
Mathematics. 9 (2021) 22 - p. 2954 , 2021

Link: https://doi.org/10.3390/..

14

Modeling and Verification of the Nervos CKB Block Synchroni..:

, In: Communications in Computer and Information Science; Blockchain and Trustworthy Systems,

Zhang, Qi ; Lu, Yuteng ; Sun, Meng - p. 3-17 , 2020

Link: https://doi.org/10.1007/..

15

Global Robustness Verification Networks:

Sun, Weidi ; Lu, Yuteng ; Zhang, Xiyue..
http://arxiv.org/abs/2006.04403. , 2020

Link: http://arxiv.org/abs/200..