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

Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha. Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. In Luca Fanucci, J├╝rgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 786-791, IEEE, 2016. [doi]

Abstract

Abstract is missing.