HackerTube / Video
John Hughes - Testing the Hard Stuff and Staying Sane
ClojureTV

John Hughes, co-creator of QuickCheck, talks about property-based testing of hard systems. He shows production examples where it found very low-level bugs, including issues in the CAN bus standard.
Recommended as the best introduction to property-based testing and cited for its examples of bugs found in the CAN standard.
6 Hacker News mentions · 2016–2026