Advanced Property-Based Testing Projects

People

Principal investigator

Description

Hypothesis is an advanced and widely-used property-based testing framework, used by thousands of companies and open source projects. Zac Hatfield-Dodds has many related projects for students interested in advanced testing and verification, whether on the formal-methods or fuzzing sides of the field. All projects require strong Python skills; experience with open source workflows (git, CI, etc) are helpful but not required.

You can read more details about each project at https://cs.anu.edu.au/cybersec/student_projects/#advanced-property-based-testing-projects

If interested, please email zac.hatfield.dodds@anu.edu.au to discuss a project as early as possible.

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing