Proj CDeepFuzz Paper Reading: ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Abstract
Github: https://github.com/shijy16/ACETest
背景:
- DL operators 用来计算多维tensors,很重要
本文:ACETest
Task: automatically extract input validation constraints from the code to test DL operators
方法:identify the input validation code,据此生成test cases
Bug Types: Crash, Timeout?
实验:
对象:Tensorflow, PyTorch
Competitors: FreeFuzz, DeepREL, DocTer
效果:
- 比目前方法质量高
- +96.4%constraints
- +1.95-55 times bugs
- +18 unknown bugs, 87 confirmed, 5 CVEs