TY  - RPRT
TI  - Towards Modified Condition/Decision Coverage of Rust
AU  - Wanja Zaeske
AU  - Pietro Albini
AU  - Florian Gilcher
AU  - Umut Durak
PY  - 2024
DO  - 10.2514/1.i011558
UR  - https://arxiv.org/abs/2409.08708
ID  - 2409.08708
ER  -