摘要：
## 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 阅读全文
摘要：
## Abstract 本文：TitanFuzz Task: use LLM to fuzz DL librarires Method: use both generative and infilling LLMs(e.g., Codex, InCoder) 实验： 对象：Tensorflow, P 阅读全文
摘要：
## Abstract 背景： 挑战： 1. need valid input domain of each API function 2. hard to trigger new behavior 本文：SkipFuzz 任务: fuzz machine learning libraries us 阅读全文
摘要：
## Abstract 本文：ConFL Task: Fuzz Deep Learning Libraries using Constraint-guided fuzzer Method: Constraint-guided fuzzer + grouping 实验： 对象：Tensorflow(M 阅读全文
摘要：
## Abstract 本文：DeFuzz Task: guided directed fuzzing Method: pre-trained BiLSTM to identify the potentially vulnerable functions, directed fuzzing 实验： 阅读全文
摘要：
## Abstract 背景：在最近一项bug study中，high-level IR的优化导致44.92%的bug(Q?) 本文: HirGen Github: https://github.com/haoyang9804/HirGen Task: fuzzing the optimizatio 阅读全文
摘要：
## Abstract 本文：DRFuzz Task: find the regression faults between versions of a DL system Method: 1. a diversity-oriented test criterion to explore as ma 阅读全文
摘要：
## Abstract 背景：每个深度学习库 API 都可以抽象为处理张量/向量的函数(each DL library API can be abstracted into a function processing tensors/vectors)，可用来差分测试 本文：∇Fuzz Task: A 阅读全文