@inproceedings{DATE-2016-RamanathanPHCJ,
	author        = "Arvind Ramanathan and Laura L. Pullum and Faraz Hussain and Dwaipayan Chakrabarty and Sumit Kumar Jha 0001",
	booktitle     = "{Proceedings of the 20th Conference and Exhibition on Design, Automation and Test in Europe}",
	ee            = "http://ieeexplore.ieee.org/document/7459413/",
	isbn          = "978-3-9815-3707-9",
	pages         = "786--791",
	publisher     = "{IEEE}",
	title         = "{Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision}",
	year          = 2016,
}