Watch a 26-minute conference talk from the INSAIT 2022 Conference where Dr. Rupak Majumdar from Max Planck Institute and AWS explores the effectiveness of random testing in complex distributed programs. Learn how combinatorial insights can prove properties of random testing procedures, understand the relationship between testing coverage and the probabilistic method, and discover why fuzzing works well as a guided random testing approach. Delve into practical examples involving distributed systems with partition faults, k-splitting families, and Jepsen testing tool applications. Gain valuable insights into computational challenges associated with random testing methodologies and their implications for ensuring correct distributed systems.