An Evaluation Platform for Property-Based Testing

Deeper Properties for Programmable Testing