Towards Modified Condition/Decision Coverage of Rust. - Wanja Zaeske; Pietro Albini; Florian Gilcher; Umut Durak (CoRR, 2024)