Foundational Property-Based Testing.

Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dns, Leonidas Lampropoulos, Benjamin C. Pierce

Browse the full ITP paper archive.