摘要：
## Abstract 本文:RTIs(Referentially Transparent Inputs), Purity Task: Testing Machine Translation Model Method: referentially transparent input(在不同的上下文中 阅读全文
摘要：
## Abstract Background: 1. discriminatory inputs, e.g., from societal bias, produce error, need to conduct fairness testing(generating discriminatory 阅读全文
Proj CDeepFuzz Paper Reading: Detecting TensorFlow program bugs in real-world industrial environment
摘要：
## Abstract 本文: ShapeTracer Task: 1. Study on 12289 failed TensorFlow jobs 2. detecting TensorFlow shape-related errors with a constraint-based approa 阅读全文
摘要：
## Abstract 本文:Metamorphic Testing for machine learning classifiers Method: cross-validation, metamorphic testing 1. MR-0: Consistence with affine tra 阅读全文
摘要：
## Abstract 背景：目前的研究集中在例如交换几个像素这种digital perturbation，这些是很难发生在现实世界的；生成both digital and physical adversarial perturbation很重要 本文：DeepBillboard Task: Tes 阅读全文
摘要：
## Abstract 本文：Eagle Task: use equivalent graphs to differential test DL libraries Method: 使用不同的APIs, data types or optimizations来获取equivalent graphs， 阅读全文
摘要：
## Abstract 背景：Neural networks can be regarded as a new programming paradigm, Tensorflow 和PyTorch相当于Compiler，我们已知如果编译器缺乏Specification 本文：ExAIS Task: p 阅读全文
摘要：
## Abstract 本文: KONURE，以及regenerator Task: use active learning to infer models of applications that retrieve data from relational databases 方法： 1. a d 阅读全文
摘要：
## Abstract 背景： 1. Q: active learning inference based framework能够利用modularity来处理large applications中的develeopment correctness, performance and cost 2. 阅读全文
摘要：
## Abstract 本文: RULF Github: https://github.com/Artisan-Lab/RULF Task: Library harness generation for Rust Library via API dependency graph traversal 阅读全文