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]

@inproceedings{RamanathanPHCJ16,
  title = {Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision},
  author = {Arvind Ramanathan and Laura L. Pullum and Faraz Hussain and Dwaipayan Chakrabarty and Sumit Kumar Jha},
  year = {2016},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7459413},
  researchr = {https://researchr.org/publication/RamanathanPHCJ16},
  cites = {0},
  citedby = {0},
  pages = {786-791},
  booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016},
  editor = {Luca Fanucci and Jürgen Teich},
  publisher = {IEEE},
  isbn = {978-3-9815-3707-9},
}