Mutation Testing Cost Reduction Techniques for Java Applications - David Roberto Cravo da Mata (2023)