Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust. - Zalán Lévai; Phil McMinn (ICST, 2023)