摘要：
## Abstract 本文: RapidFuzz Task: use GAN to fuzz program with highly-structured inputs Method: use GAN to capture the data structure, then locate the h 阅读全文
摘要：
## Abstract 本文：graph-based fuzz testing Task: Fuzzing Machine Learning Libraries using operator graph Github: https://github.com/gbftdlie/G (Q?https:/ 阅读全文
摘要：
## Abstract 背景： 1. Q: 现有的方法没有考虑到small perturbations的影响，或者这些perturbation只能限定在某个特定的模型上使用，在其他模型上则本身就不符合example要求（可能是指标签就会改变？） 2. 现有的方法多使用浅层的feature const 阅读全文
摘要：
## Abstract 本文: DeepHunter Task: Fuzzing Deep Learning Models Github: https://github.com/Shimmer93/Deephunter-backup Method: 1. Metamorphic mutation t 阅读全文
摘要：
## Abstract 背景： 1. 目前已有工作test underlying operator-level DL Libraries，但测试compier的工作比较少 2. compiler: compile high-level tensor computation graphs into h 阅读全文
摘要：
## Abstract 背景：现有的constraint-extraction tech 对extracting DL-specific input constraints效率太低 本文：DocTer Github: https://github.com/lin-tan/DocTer Task: e 阅读全文
Proj CDeepFuzz Paper Reading: Fuzzing Deep-Learning Libraries via Automated Relational API Inference
摘要：
## Abstract 背景：使用API间sharing similar input parameters and inputs的关系能更有效测试DL Libraries 本文: DeepREL Github: https://github.com/ise-uiuc/DeepREL Task: in 阅读全文
摘要：
## Abstract 背景： 1. In property-based testing(PBT), one asserts properties that a function should satisfy and the system automatically generates tests 阅读全文
摘要：
## Abstract 背景：马尔可夫决策过程（Markov decision process, MDP)是串联决策问题(sequential decision making)的一种数学化建模；机器学习已经为MDP提供了很多解法，但这些解法没有被严格测试过，或者不真正可靠（Q？） 本文：MDPFuz 阅读全文
摘要：
## Abstract 背景：Deep-learning compiler例如TVM和TensorRT被使用来optimize DNN模型以达到更好的性能要求；在Deep Learning Compiler中的bug可能导致语义改变 本文：NNSmith Task: fuzz deep-learni 阅读全文