University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Tim Nelson - Getting Students to Properties

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Tim Nelson - Getting Students to Properties

Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

VSO2 - Verified software

We posit that property-based testing (PBT) forms a strong bridge between testing and the act of specification: it’s a form of testing where the tester is actually writing formal properties. This talk will share work on using PBT as a vehicle for building formal intuition atop “ordinary” software testing.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Max Perutz Lecture Theatre. LMB. Cambridge. Lecture Theatre 3, Cambridge Judge Business School (http://www.jbs.cam.ac.uk/aboutus/location.html) MedImmune, Sir Aaron Klug Building, Granta Park, Cambridge, CB21 6GH

Other talks

Title to be confirmed Climate, uncertainty, and the slippery measurement of Antarctic ice A Data-Centric Approach to AI Adaptation and Alignment Animating urbanism: the demotic multiplicities of seeing cities digitally The Neurophenomenology of Surrender: Agency, Renewal, and Social Engagement in Speaking in Tongues Title TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity