Evaluation of Mutation Testing in a Nuclear Industry Case Study | Publicación