aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs | IEEE Conference Publication | IEEE Xplore