Leveraging Software Testing Techniques to Explain, Analyze, and Debug Machine Learning Models