Abstract: As deep learning technologies, particularly those driven by deep neural networks, revolutionize various industries, testing and verifying deep learning models remain challenging, especially ...