Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis | IEEE Conference Publication | IEEE Xplore