BrighterTube

Zachary Kessin - Using Logic Programming Tools to Drive Property-based Testing

Erlang Solutions18.8K subscribers

About this video

Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Demonstrates logic programming applied to property-based testing. Teaches formal testing methodology and automated verification techniques.

A 35-minute video from Erlang Solutions: “Zachary Kessin - Using Logic Programming Tools to Drive Property-based Testing”.

Programming & CS

Video by Erlang Solutions, played through YouTube's embedded player.