TY  - RPRT
TI  - ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
AU  - Jingyi Shi
AU  - Yang Xiao
AU  - Yuekang Li
AU  - Yeting Li
AU  - Dongsong Yu
AU  - Chendong Yu
AU  - Hui Su
AU  - Yufeng Chen
AU  - Wei Huo
PY  - 2023
DO  - 10.1145/3597926.3598088
UR  - https://arxiv.org/abs/2305.17914
ID  - 2305.17914
ER  -