ISTA: Automatic Test Case Generation and Optimization for Intelligent Systems based on Coverage Analysis | IEEE Conference Publication | IEEE Xplore