Marijan, D.; Gotlieb, A. Software Testing for Machine Learning. AAAI 2020, 34, 13576-13582.