Zalán Bálint Lévai
zalanlevai.bsky.social
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.
Mutation testing is an important technique for finding testing gaps. In this publication, we introduce our mutation batching technique for parallel mutation testing, which yields considerable real-world speedups, making mutation testing more accessible in the industry.
January 29, 2026 at 7:05 PM