TY  - JOUR

T1  - A comprehensive empirical and theoretical analysis of batching algorithms for efficient, safe, parallel mutation analysis in rust

JO  - ACM Transactions on Software Engineering and Methodology

UR  - https://eprints.whiterose.ac.uk/id/eprint/236717

PY  - 2026/01/19

AU  - Lévai Z

AU  - Shin D

AU  - McMinn P

ED  - 

DO  - DOI: 10.1145/3787851

PB  - ACM

Y2  - 2026/01/30

ER  -