Mutation Testing for Artificial Neural Networks: An Empirical Evaluation | IEEE Conference Publication | IEEE Xplore