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

PY  - 2025/12/08

AU  - Lévai Z

AU  - Shin D

AU  - McMinn P

ED  - 

Y2  - 2026/02/01

ER  -