Modeling and Verifying the CKB Blockchain Consensus Protocol
Sun, Meng, Lu, Yuteng, Feng, Yichun, Zhang, Qi, Liu, Shaoying
Published in Mathematics (Basel) (01.11.2021)
Published in Mathematics (Basel) (01.11.2021)
Get full text
Journal Article
Mutation testing of unsupervised learning systems
Lu, Yuteng, Shao, Kaicheng, Zhao, Jia, Sun, Weidi, Sun, Meng
Published in Journal of systems architecture (01.01.2024)
Published in Journal of systems architecture (01.01.2024)
Get full text
Journal Article
HashC: Making deep learning coverage testing finer and faster
Sun, Weidi, Xue, Xiaoyong, Lu, Yuteng, Zhao, Jia, Sun, Meng
Published in Journal of systems architecture (01.11.2023)
Published in Journal of systems architecture (01.11.2023)
Get full text
Journal Article
DeepGlobal: A framework for global robustness verification of feedforward neural networks
Sun, Weidi, Lu, Yuteng, Zhang, Xiyue, Sun, Meng
Published in Journal of systems architecture (01.07.2022)
Published in Journal of systems architecture (01.07.2022)
Get full text
Journal Article
Are Coverage Criteria Meaningful Metrics for DNNs?
Sun, Weidi, Lu, Yuteng, Sun, Meng
Published in 2021 International Joint Conference on Neural Networks (IJCNN) (18.07.2021)
Published in 2021 International Joint Conference on Neural Networks (IJCNN) (18.07.2021)
Get full text
Conference Proceeding
RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems
Lu, Yuteng, Shao, Kaicheng, Sun, Weidi, Sun, Meng
Published in 2022 9th International Conference on Dependable Systems and Their Applications (DSA) (01.08.2022)
Published in 2022 9th International Conference on Dependable Systems and Their Applications (DSA) (01.08.2022)
Get full text
Conference Proceeding