Computer Vision Intelligence Test Modeling and Generation: A Case Study on Smart OCR | IEEE Conference Publication | IEEE Xplore