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]

Authors

Jingyi Shi

This author has not been identified. Look up 'Jingyi Shi' in Google

Yang Xiao

This author has not been identified. Look up 'Yang Xiao' in Google

Yuekang Li

This author has not been identified. Look up 'Yuekang Li' in Google

Yeting Li

This author has not been identified. Look up 'Yeting Li' in Google

Dongsong Yu

This author has not been identified. Look up 'Dongsong Yu' in Google

Chendong Yu

This author has not been identified. Look up 'Chendong Yu' in Google

Hui Su

This author has not been identified. Look up 'Hui Su' in Google

Yufeng Chen

This author has not been identified. Look up 'Yufeng Chen' in Google

Wei Huo

This author has not been identified. Look up 'Wei Huo' in Google