Testing Deep Neural Networks Sigplan Mary Lou