PhD Studentship in probabilistic property-based testing at the University of Edinburgh
We are now accepting applications for 3-year PhD studentship on a project called "Probabilistic property-based testing" in the School of Informatics, University of Edinburgh. Aim of the project The aim of the project is to explore the hypothesis that property-based testing (e.g. QuickCheck) is a form of probabilistic programming. Property-based testing is a widely used and powerful form of lightweight randomized testing, but it has been developed largely independently of increasingly sophisticated probabilistic programming languages and inference algorithms. This project will study the consequences of adopting the perspective that property-based testing is a form of probabilistic programming, and investigate subproblems such as inducing good properties from programs or test data; testing complex programs using advanced sampling techniques that provide error bounds; and synthesizing suitable data generators or automatically providing concise explanations why a property fails to hold. More information here: https://www.ed.ac.uk/informatics/postgraduate/fees/research-scholarships/research-grant-funding/phd-probalistic-property-based-testing
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
