Keeper: Automated Testing and Fixing of Machine Learning Software. - Wan, Chengcheng; Liu, Shicheng; Xie, Sophie; Liu, Yuhan; Hoffmann, Henry; Maire, Michael; Lu, Shan (ACM Transactions on Software Engineering & Methodology, 2024)