Automated Testing of Software that Uses Machine Learning APIs