Towards Substructural Property-Based Testing.

Marco Mantovani, Alberto Momigliano

Browse the full LOPSTR paper archive.