Proj CDeepFuzz Paper Reading: TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
Abstract
背景：
- In property-based testing(PBT), one asserts properties that a function should satisfy and the system automatically generates tests exercising those properties
本文：TensorFuzz
Task: CGF for ML Models
Method: 1. use approximate nearest neighbor to provide the coverage metric 2. property-based testing(PBT)
实验：
对象：surfacing broken loss functions in popular Github Repo
