Please log in to watch this conference skillscast.
In the right hands, property-based testing (PBT) tools like QuickCheck can be astonishingly effective at finding bugs. The promise of PBT is that it gives testers a way to write down specifications of intended behavior in a form that can be automatically validated against a very large number of test cases, leading to better coverage of the input space, better documentation, and better understanding.This talk will survey past successes of PBT and ask: Why isn't PBT already part of every working programmer's toolbox, and what will it take to put it there?
(When) Will Property-Based Testing Rule the World?
Benjamin Pierce
Henry Salvatori Professor of Computer and Information Science
University of Pennsylvania