摘要：
## Abstract 背景：Compiling DNN models into high-efficiency executables is not easy: the compilation procedure often involves converting high-level model 阅读全文
摘要：
## Abstract 背景：深度学习编译器处理的深度学习模型与命令式程序有根本的不同，因为深度学习模型中的程序逻辑是隐式的。（the DL models processed by DL compilers differ fundamentally from imperative programs 阅读全文
摘要：
## Abstract 本文：DeepMutation Github: https://github.com/berkuva/mutation-testing-for-DNNs Task: mutation testing framework specialized for DL systems t 阅读全文
摘要：
## Abstract 本文： Task: Testing the classification accuracy of a deep learning framework that includes a CNN Method: 1. classifier built with SVM 2. met 阅读全文
摘要：
## Abstract 本文： Task: Fuzzing Machine Learning Libraries Method: 1. optimized mutation strategies 2. prioritize the seed 3. optimal mutation strategy 阅读全文
摘要：
## Abstract 本文:DeepCover Github: https://github.com/TrustAI/DeepCover Task: propose 4 novel test criteria to test DNNs Method: inspired by MC/DC cover 阅读全文