Targeted property-based testing.

Andreas Lscher, Konstantinos Sagonas

Browse the full ISSTA paper archive.