Advertisement · 728 × 90

Posts by Zalán Bálint Lévai

That would be fantastic, let's set something up for sometime! :-D

1 month ago 1 0 0 0
Preview
February talks | Rust Manchester Rust Manchester is a meetup for all things Rust in Manchester

After lots of interest, I'm giving a talk on mutest-rs and mutation testing next Tuesday (2026-02-24) at Rust Manchester. Feel free to come and join. We're also hoping to record and release the talk later, so stay tuned!

rustmanchester.co.uk/events/febru...
www.meetup.com/rust-manches...

1 month ago 2 0 0 0
Pete LeVasseur presenting "Rust for Foundational Software" at Rust Nation UK.

Pete LeVasseur presenting "Rust for Foundational Software" at Rust Nation UK.

A selfie of me, with Jon Gjengset and co. in the background, following their post-conference session.

A selfie of me, with Jon Gjengset and co. in the background, following their post-conference session.

My conference badge, with Mara's Pride Rust pin next to it.

My conference badge, with Mara's Pride Rust pin next to it.

What an incredible first-time experience at a Rust event at #RustNationUK this week! Lots of great talks. I've met a ton of great people, including Sean Borg, @mara.bsky.social, @jonhoo.eu, Tim Janus, @awkwardmap.bsky.social. Thanks for the fabulous pin, Mara, and thanks for the PhD good luck, Jon!

1 month ago 11 0 2 0

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.

2 months ago 0 0 0 0
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...

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.

2 months ago 5 0 1 0