Welcome to the information home for publications on Rust Mutation Testing research by the Software Testing Group in the School of Computer Science at The University of Sheffield.
Below you will find links to publications, as well as their respective replication packages.
-
mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis
Zalán Lévai, Donghwan Shin, Phil McMinn
International Conference on Software Testing (ICST), 2026
[PDF] -
Dynamic Mutation Scheduling: Highly Parallel, Efficient Evaluation of Mutations for Rust Programs through Program Splitting
Zalán Lévai, Donghwan Shin, Phil McMinn
International Conference on Software Testing (ICST), 2026
[PDF] [REP-PAK] -
A Comprehensive Empirical and Theoretical Analysis of Batching Algorithms for Efficient, Safe, Parallel Mutation Analysis in Rust
Zalán Lévai, Donghwan Shin, Phil McMinn
ACM Transactions on Software Engineering and Methodology, Just Accepted, 2026
[DOI 10.1145/3787851] [PDF] [REP-PAK] -
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust
Zalán Lévai, Phil McMinn
International Conference on Software Testing (ICST), 2023
[DOI 10.1109/ICST57152.2023.00014] [PDF] [REP-PAK]
-
Dynamic Mutation Scheduling: Highly Parallel, Efficient Evaluation of Mutations for Rust Programs through Program Splitting
Zalán Lévai, Donghwan Shin, Phil McMinnAvailable at https://zenodo.org/records/18893406.
-
A Comprehensive Empirical and Theoretical Analysis of Batching Algorithms for Efficient, Safe, Parallel Mutation Analysis in Rust
Zalán Lévai, Donghwan Shin, Phil McMinnAvailable at https://zenodo.org/records/17955031.