Zalán Bálint Lévai
@zalanlevai.bsky.social
🏳️🌈 they/them, 🏳️⚧️ & 🖤🤍💜.
🎓 PhD student and researcher at the University of Sheffield.
🦀 Rustacean, working with the Rust compiler on mutest-rs.
🎓 PhD student and researcher at the University of Sheffield.
🦀 Rustacean, working with the Rust compiler on mutest-rs.
I am proud to say that my first journal publication has been published during my PhD, and is now available Open Access in @acm-tosem.bsky.social: doi.org/10.1145/3787....
You can try our mutation testing tooling for Rust programs, including our mutation batching technique, at mutest.rs.
You can try our mutation testing tooling for Rust programs, including our mutation batching technique, at mutest.rs.
A Comprehensive Empirical and Theoretical Analysis of Batching Algorithms for Efficient, Safe, Parallel Mutation Analysis in Rust | ACM Transactions on Software Engineering and Methodology
There is a lack of serious tooling for mutation analysis for Rust, a safety-focused
systems programming language seeing increased adoption across the industry. As such,
the testing technique has not b...
doi.org
January 29, 2026 at 7:05 PM
I am proud to say that my first journal publication has been published during my PhD, and is now available Open Access in @acm-tosem.bsky.social: doi.org/10.1145/3787....
You can try our mutation testing tooling for Rust programs, including our mutation batching technique, at mutest.rs.
You can try our mutation testing tooling for Rust programs, including our mutation batching technique, at mutest.rs.