Property-based testing is a concise and powerful approach to testing invariants that should hold for all possible inputs, not just the ones that the test writer happened to think of. In this talk, we'll look at how QuickCheck and related tools can automate the most tedious parts of the testing and debugging process, and how they can leverage static types to derive test cases with little or no help from the programmer.
Some programming and unit testing experience is assumed
• 7:00 -- we're open! come say hi and socialize
• 7:30 -- talk begins
• 8:30 -- we all leave Mersive and some of us go to Breckenridge or Blake Street
Accessing the building:
All the doors will probably be locked by the time you arrive, so please go to the side entrance located here: https://goo.gl/maps/nu6NcPbE5PK2 (zoom in to see where the pin is relative to the building). We will have someone at the door from 7:00 until 7:30. There will be a phone number posted on the door you can call or text if you arrive late.
Also, if you park in any of the lots to the southwest, southeast, or northeast of the building, you MUST make this sign clearly visible in your window: https://drive.google.com/file/d/0B6lcKzF_4d2zaVJrdlpGQWdhOEk/view . Otherwise your car WILL BE TOWED. If you park in the Rockies lot to the northwest of the building, your car will be towed whether you have a sign in your window or not, so don't do that.