Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. - Arvind Ramanathan; Laura L. Pullum; Faraz Hussain 001; Dwaipayan Chakrabarty; Sumit Kumar Jha 001 (DATE, 2016)