BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Tim Nelson - Getting Students to Properties - 
DTSTART:20220720T130000Z
DTEND:20220720T133000Z
UID:TALK176819@talks.cam.ac.uk
DESCRIPTION:We posit that property-based testing (PBT) forms a strong brid
 ge between testing and the act of specification: it's a form of testing wh
 ere the tester is actually writing formal properties. This talk will share
  work on using PBT as a vehicle for building formal intuition atop "ordina
 ry" software testing.
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR