@article{article, title = {{A comprehensive empirical and theoretical analysis of batching algorithms for efficient, safe, parallel mutation analysis in rust}}, publisher = {{ACM}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/236717 }}, year = {{2026}}, month = {{1}}, author = {{Lévai Z and Shin D and McMinn P}}, doi = {{10.1145/3787851}}, journal = {{ACM Transactions on Software Engineering and Methodology}}, note = {{Accessed on 2026/01/30}}}