ACETest: Automated Constraint Extraction for Testing Deep Learning Operators

Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, Wei Huo. ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 690-702, ACM, 2023. [doi]

@inproceedings{ShiXLLYYSCH23,
  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://doi.org/10.1145/3597926.3598088},
  researchr = {https://researchr.org/publication/ShiXLLYYSCH23},
  cites = {0},
  citedby = {0},
  pages = {690-702},
  booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023},
  editor = {René Just and Gordon Fraser 0001},
  publisher = {ACM},
}