Testing Distributed and Concurrent Systems in Rust

Inspired by the in the Rustfest Paris 2018 talk "Building Reliable Infrastructure in Rust" (https://www.youtube.com/watch?v=hMJEPWcSD8w).

We will first explore general testing features in Rust, especially unit testing, integration testing and performance testing as well as organizing and filtering tests within Rust crates.

Then we move on to useful Rust libraries like the QuickCheck/Hypothesis inspired "proptest"(https://crates.io/crates/proptest).

After that there are two introductory talks to testing distributed systems with technologies often used in conjunction with distributed systems written in Rust:

Introduction to Jepsen - Josef Hammer
Introduction to TLA+ - Markus Teufelberger

Looking forward to see you all again for an evening of interesting discussions exploring the possibilities of Rust.