mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis
Wed 20 May 2026 10:30 - 12:00 at Room 105 - Tool Hands-on Demo
Determining the adequacy of software tests, and where testing gaps might lie, is crucial for improving and maintaining the strength of test suites. Mutation analysis facilitates this by evaluating tests against generated program faults, however no mature mutation analysis tooling exists for the safety-focused Rust systems programming language, to date. This paper introduces mutest-rs, a mature, end-to-end mutation analysis tool for Rust programs that is based on extensive static program analysis, and integrates directly with the rustc Rust compiler. Our tool overcomes the numerous challenges of generating valid Rust code mutants, and does so efficiently through a Rust-specific meta-mutant approach. Our open-source tool, mutest-rs, is available online at https://mutest.rs. A video demonstrating mutest-rs is available at https://youtu.be/8yEYAU6P63I.
Tue 19 MayDisplayed time zone: Seoul change
14:00 - 15:30 | Tool and Data Showcase 1Testing Tools and Data Showcase at Room 105 Chair(s): Jinhan Kim Università della Svizzera italiana | ||
14:00 15mTalk | Constraint-Driven Fuzzing at Scale with FANDANGO Testing Tools and Data Showcase José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
14:15 15mTalk | TriAD: a Tricorder-based tool for detecting anomalies in software Testing Tools and Data Showcase Caio Herrera University of Sao Paulo (USP), Simone do Rocio Senger de Souza ICMC/USP, Ricardo Santos Federal University of Mato Grosso do Sul (UFMS), Paulo Sergio Lopes de Souza ICMC/USP | ||
14:30 15mTalk | RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems Testing Tools and Data Showcase Dario Facchinetti Università degli Studi di Bergamo, Matthew Rossi Università degli Studi di Bergamo, Zhenya Zhang Kyushu University, Stefano Paraboschi Università degli Studi di Bergamo, Paolo Arcaini National Institute of Informatics | ||
14:45 15mTalk | BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications Testing Tools and Data Showcase Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology | ||
15:00 15mTalk | Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering Testing Tools and Data Showcase Zahra Seyedghorban Delft University of Technology, Egor Klimov JetBrains Research, Arie van Deursen TU Delft, Annibale Panichella Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology | ||
15:15 15mTalk | mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis Testing Tools and Data Showcase Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||
Wed 20 MayDisplayed time zone: Seoul change
10:30 - 12:00 | |||
10:30 90mTalk | Constraint-Driven Fuzzing at Scale with FANDANGO Testing Tools and Data Showcase José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
10:30 90mTalk | BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications Testing Tools and Data Showcase Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology | ||
10:30 90mTalk | mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis Testing Tools and Data Showcase Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||