Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision