Cite

If mutest-rs was a significant part of your work, please consider citing it in your publications. Specifically, please cite our papers describing the tool:

• “A Comprehensive Empirical and Theoretical Analysis of Batching Algorithms for Efficient, Safe, Parallel Mutation Analysis in Rust” (DOI 10.1145/3787851),
• “Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust” (DOI 10.1109/ICST57152.2023.00014).

Recommended BibTex Entry

@article{levai-batching-2026,
  title = {A {{Comprehensive Empirical}} and {{Theoretical Analysis}} of {{Batching Algorithms}} for {{Efficient}}, {{Safe}}, {{Parallel Mutation Analysis}} in {{Rust}}},
  author = {L{\'e}vai, Zal{\'a}n and Shin, Donghwan and McMinn, Phil},
  journal = {ACM Transactions on Software Engineering and Methodology},
  annotation = {Just Accepted},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3787851},
  url = {https://dl.acm.org/doi/10.1145/3787851},
  year = 2026,
  month = jan,
}

@inproceedings{levai-batching-2023,
  title = {Batching {{Non-Conflicting Mutations}} for {{Efficient}}, {{Safe}}, {{Parallel Mutation Analysis}} in {{Rust}}},
  author = {L{\'e}vai, Zal{\'a}n and McMinn, Phil},
  booktitle = {2023 {{IEEE Conference}} on {{Software Testing}}, {{Verification}} and {{Validation}} ({{ICST}})},
  pages = {49--59},
  publisher = {IEEE},
  address = {New York, NY, USA},
  doi = {10.1109/ICST57152.2023.00014},
  url = {https://ieeexplore.ieee.org/abstract/document/10132214},
  year = {2023},
  month = apr,
}