Lévai, Z. orcid.org/0009-0003-4173-8562, Shin, D. orcid.org/0000-0002-0840-6449 and McMinn, P. orcid.org/0000-0001-9137-7433 (2026) Dynamic mutation scheduling: highly parallel, efficient evaluation of mutations for rust programs through program splitting. In: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST), 18-22 May 2026, Daejeon, Korea, Republic of. . Institute of Electrical and Electronics Engineers (IEEE), pp. 146-157. ISBN: 9798319533098. ISSN: 2159-4848.
Abstract
Mutation analysis has been considered prohibitively expensive for large software projects due to its high computational cost. Even with efficient mutant schemata approaches, the evaluation of the constituent mutants still takes considerable time. Classical mutation analysis systems introduce large overheads by evaluating mutants as separate processes. State-of-the-art Static Mutation Batching uses threads to evaluate batches of multiple mutations at the same time; however, it suffers from a “waiting tail” problem causing idling, often hindering it in practice. Our novel Dynamic Mutation Scheduling approach addresses these limitations and solves the online mutation scheduling problem: maximizing parallelism by safely scheduling new, compatible mutations and their tests as capacity becomes available, resulting in reduced mutation evaluation runtimes. Mutations are compatible with regard to parallel evaluation if they appear in distinct parts of the program. We implement our approach by extending mutest-rs, the state-of-the-art mutation analysis tool for the Rust programming language. We perform an extensive empirical evaluation of our novel Dynamic Mutation Scheduling approach on 25 top subject Rust programs, comparing it to a basic thread-based mutation evaluation approach, and to state-of-the-art Static Mutation Batching. We find that Dynamic Mutation Scheduling effectively reduces wasted time and mutation evaluation runtimes over Static Mutation Batching, by up to $75.6 \%$, while also reducing exhaustive mutation analysis runtimes, by up to $25.2 \%$.
Metadata
| Item Type: | Proceedings Paper |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | © 2026 The Authors. Except as otherwise noted, this author-accepted version of a proceedings paper published in 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) is made available via the University of Sheffield Research Publications and Copyright Policy under the terms of the Creative Commons Attribution 4.0 International License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/ |
| Keywords: | Programming; Scheduling; Testing; Radio access networks; Regional area networks; Runtime; Timing; Schedules; Dynamic scheduling; Conferences |
| Dates: |
|
| Institution: | The University of Sheffield |
| Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
| Funding Information: | Funder Grant number ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL EP/X024539/1 ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL EP/Y014219/1 |
| Date Deposited: | 10 Aug 2026 15:51 |
| Last Modified: | 10 Aug 2026 16:00 |
| Status: | Published |
| Publisher: | Institute of Electrical and Electronics Engineers (IEEE) |
| Refereed: | Yes |
| Identification Number: | 10.1109/icst69053.2026.00029 |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:244319 |
Download
Filename: levai-scheduling-2026.pdf
Licence: CC-BY 4.0

CORE (COnnecting REpositories)
CORE (COnnecting REpositories)