@misc{indiciaee8fb459fc502,
  title = {ACETest: Automated Constraint Extraction for Testing Deep Learning Operators},
  author = {Jingyi Shi and Yang Xiao and Yuekang Li and Yeting Li and Dongsong Yu and Chendong Yu and Hui Su and Yufeng Chen and Wei Huo},
  year = {2023},
  doi = {10.1145/3597926.3598088},
  url = {https://arxiv.org/abs/2305.17914},
  note = {Source identifier: 2305.17914}
}