Zalán Lévai

According to our database, Zalán Lévai authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust.

Zalán Lévai, Phil McMinn

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023