36C3 - Getting software right with properties, generated tests, and proofs - Russian (русский) tran

Name: 36C3 - Getting software right with properties, generated tests, and proofs - Russian (русский) tran
Uploaded: 2019-01-01
Duration: 1 h 2 min 48 s
Description: 36C3 - Getting software right with properties, generated tests, and proofs - Russian (русский) tran — 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.

36C3 Chaos Communication Congress 2019 (all languages) · 2019 · 1:02:48

▶

36C3 - Getting software right with properties, generated tests, and proofs - Russian (русский) tran — 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

fuzzing

← Back to the Breach Arc Archive