How do Java mutation tools differ? - Domenico Amalfitano; Ana C. R. Paiva; Alexis Inquel; Luís Pinto 005; Anna Rita Fasolino; René Just (Commun. ACM, 2022)