36C3 - Getting software right with properties, generated tests, and proofs - deutsche Übersetzung
▶36C3 - Getting software right with properties, generated tests, and proofs - deutsche Übersetzung — a 2019 36C3 Chaos Communication Congress 2019 (all languages) security conference talk on fuzzing (1:02:48 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube