Automated Fault Tree Generation for Rust Programs.

Dominic Zimmer, Andreas Schmidt

Browse the full EDCC paper archive.